program‎ > ‎

Schedule

Program Overview

 

March 30

March 31

April 1

April 2

April 3

April 4

Registration
 (Room: tbd)
 
(Room: tbd)
 
(Room: tbd)
 
(Room: tbd)
ICST 2014ICST 2014ICST 2014
 (Room: tbd)
 
(Room: tbd)
 
(Room: tbd)
 
(Room: tbd)


Conference ReceptionConference Banquet

 

 Program Details

Sunday - March 30, 2014
3:00pm
5:00pm
Registration             
 
 
Monday - March 31, 2014

 8:00am
9:00am

 Breakfast & Registration

9:00am
10:30am

Workshop Sessions and PhD Symposium

SECTEST, IWCT, Mutation, Ph.D. Symposium

10:30am
11:00am
Break
11:00am
12:30am
Workshop Sessions and PhD Symposium
12:30pm
2:00pm
Lunch
2:00pm
3:30pm
Workshop Sessions and PhD Symposium
3:30pm
4:00pm
Break
4:00pm
5:30pm
Workshop Sessions and PhD Symposium
 
 
Tuesday - April 1, 2014
8:00am
9:00am
Registration

 8:00am
9:00am

 Breakfast

9:00am
9:30am
Opening Session (Room: Library Auditorium)

9:30am
11:00am

Keynote 1: Déjà vu - Integration and Test Challenges

Tom Wissink, Director of Integration and Testing at Lockheed Martin
 (Room: Library Auditorium)

11:00am
11:30am
Break
11:30am
1:00pm
Research Session R1
 Mutation Testing

Session Chair:
Sudipto Ghosh
Research Session R2
Software Product Lines

Session Chair:
Mark Grechanik
Room: BurlingtonRoom: Emanuele

Mike Papadakis, Christopher Henard and Yves Le Traon
 Sampling Program Inputs with Mutation Analysis: Going Beyond Combinatorial Interaction Testing 
 

Andreas Demuth, Roberto E. Lopez-Herrejon and Alexander Egyed
 Automatic and Incremental Product Optimization for Software Product Lines

Marcio Eduardo Delamaro, Paul Ammann and Jeff Offutt
 Designing Deletion Mutation Operators 

Ana B. Sánchez, Sergio Segura and Antonio Ruiz-Cortés
A Comparison of Test Case Prioritization Criteria for Software Product Lines

Paul Ammann, Marcio Eduardo Delamaro and Jeff Offutt
 Establishing Theoretical Minimal Sets of Mutants

Hartmut Lackner, Martin Thomas, Florian Wartenberg and Stephan Weissleder
 Model-Based Test Design of Product Lines: Raising Test Design to the Product Line Level
1:00pm
2:30pm
Lunch
2:30pm
4:00pm
Research Session R3
Data Flow and Concurrency

Session Chair:
Gordon Fraser
Research Session R4
Industrial Experiences

Session Chair:
Jeff Offutt
Room: BurlingtonRoom: Emanuele

Shin Hong, Yongbae Park and Moonzoo Kim
 Detecting Concurrency Errors in Client-side JavaScript Web Applications

Susumu Tokumoto, Kazunori Sakamoto, Kiyofumi Shimojo, Tadahiro Uehara and Hironori Washizaki
 Semi-automatic Incompatibility Localization for Re-engineered Industrial Software 
 

Giovanni Denaro, Mauro Pezzé and Mattia Vivanti
On the Right Objectives of Data Flow Testing

Marko Misic, Iain Bethune and Milo Tomasevic
 Automated Multi-platform Testing and Code Coverage Analysis of the CP2K Application

Roberto Paulo Andrioli de Araujo and Marcos Lordello Chaim
 Data-flow Testing in the Large

Sachin Patel and Ramesh Kumar Kollana
 Test Case Reuse in Enterprise Software Implementation - An Experience Report 
 
 

 Paul Wojciak and Rachel Tzoref-Brill
 System Level Combinatorial Testing in Practice – The Concurrent Maintenance Case Study 

4:00pm
4:30pm
Break
4:30pm
6:00pm
Research Session R5
Automated Testing

Session Chair:
Paul Ammann
 Tools Demonstration 1
 

Session Chair:
Mark Grechanik
Room: BurlingtonRoom: Emanuele

Kristian Wiklund, Daniel Sundmark, Sigrid Eldh and Kristina Lundqvist
 Impediments for Automated Testing - An Empirical Analysis of a User Support Discussion Board

Matúš Marhefka and Petr Muller
 Dfuzzer: A D-Bus Service Fuzzing Tool
 

Chris Hunt, Guy Brown and Gordon Fraser
 Automatic Testing of Natural User Interfaces

Simon Harrer, Cedric Röck and Guido Wirtz
 Automated and Isolated Tests for Complex Middleware Products: The Case of BPEL Engines


Marius Marin
 A Data-agnostic Approach to Automatic Testing of Multi-dimensional Databases


Christopher Henard, Mike Papadakis and Yves Le Traon 
 MutaLog: a Tool for Mutating Logic Formulas
 
7:00pm
9:30pm

Conference Reception

Location: Rock and Roll Hall of Fame and Museum

 
 
Wednesday - April 2, 2014
8:00am
9:00am
Registration

 8:00am
9:00am

 Breakfast

8:45am
10:30am

Keynote 2: Combinatorial Testing: Rationale and Impact 
Rick Kuhn, NIST
 Room: Library Auditorium

10:30am
11:00am
Break
11:00am
12:30pm
Research Session R6
 Bugs, Faults, and Failures

Session Chair:
Helene Waeselynck
 Tools Demonstrations
 And Industry Presentations

Session Chair:
David Shepherd
Room: BurlingtonRoom: Emanuele

Simon Varvaressos, Kim Lavoie, Alexandre Blondin Massé, Sebastien Gaboury and Sylvain Hallé
 Automated Bug Finding in Video Games: A Case Study for Runtime Monitoring 
 

Kohsuke Yatoh, Kazunori Sakamoto, Fuyuki Ishikawa and Shinichi Honiden
 ArbitCheck: a highly automated property-based testing tool for Java 

Seokhyeon Mun, Yunho Kim, Moonzoo Kim and Shin Yoo
 
Ask the Mutants: Mutating Faulty Programs for Fault Localization  


Valentin Dallmeier, Bernd Pohl, Martin Burger, Michael Mirold and Andreas Zeller
 WebMate: Web Application Test Generation in the Real World 


Fitsum Meshesha Kifetew, Wei Jin, Roberto Tiella, Alessandro Orso and Paolo Tonella
 
Reproducing Field Failures for Programs with Complex Grammar Based Input  


Satomi Yoshizawa, Yasuharu Nishi, Tetsuro Katayama
 A Model of Technology Promotion for Industry Through Test Design Contest in Japan
 

Shubh Shrivastava
 Model Based Testing Approach: Product Specific Workbench

12:30pm
2:00pm
Lunch
2:00pm
3:30pm
Research Session R7
Automated Test Generation

Session Chair:
Wassim Masri
 Research Session R8
Evaluations

Session Chair:
Tejeddine Mouelhi
Room: BurlingtonRoom: Emanuele

Sebastien Bardin, Nikolai Kosmatov and François Cheynier
 
Efficient Leverage of Symbolic Execution to Advanced Coverage Criteria


Marcio Eduardo Delamaro, Lin Deng, Nan Li, Vinicius Durelli and Jeff Offutt
 Experimental Evaluation of SDL and One-Op Mutation for C 
 

 

Razieh Nokhbeh Zaeem, Mukul Prasad and Sarfraz Khurshid
 
Automated Generation of Oracles for Testing User-interaction Features of Mobile Apps


Marie-Laure Potet, Laurent Mounier, Maxime Puys and Louis Dureil
 Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Fault Injection 
 


Abdulbaki Aydin, Muath Alkhalaf and Tevfik Bultan
 
Automated Test Generation from Vulnerability Signatures


Stephan Weissleder and Holger Schlingloff
 An Evaluation of Model-Based Testing in Embedded Applications 
 

 
3:30pm
4:00pm
Break
4:00pm
5:30pm
Research Session R9
Coverage Aspects

Session Chair:
Laurie Williams
 Research Session R10
Regression Testing

Session Chair:
Franz Wotawa
Room: BurlingtonRoom: Emanuele

Boyang Li, Mark Grechanik and Denys Poshyvanyk
 Sanitizing And Minimizing Databases for Software Application Test Outsourcing 
 


Yunho Kim, Zhihong Xu, Moonzoo Kim, Myra B. Cohen and Gregg Rothermel
 Hybrid Directed Test Suite Augmentation: An Interleaving Framework 
 
 

 

Alex Groce, Mohammad Amin Alipour, Chaoqiang Zhang, Yang Chen and John Regehr
 Cause Reduction for Quick Testing 
 


Fatmah Assiri and James Bieman
An Assessment of the Quality of Automated Program Operator Repair  



Christian Schwarzl and Harald Brandl
 Model Dependent Test Coverage Variabilities 
 



Emelie Engström, Mika Mäntylä, Per Runeson and Markus Borg
 Supporting Regression Test Scoping with Visual Analytics 
 
6:30pm
11:00pm

Conference Banquet

Location: House of Blues - Cleveland

 
 
Thursday - April 3, 2014
8:00am
9:00am
Registration
 8:00am
9:00am

 Breakfast

9:00am
10:30am
Research Session R11
 Search-based Approaches

Session Chair:
Robert Feldt
 Open Session
Challenges in Cloud-based Testing

Session Chair:
Jeff Offutt
Room: BurlingtonRoom: Emanuele

Simon Poulding and Helene Waeselynck
 Adding Contextual Guidance to the Automated Search for Probabilistic Test Profiles  
 

 Come and share your views on cloud-based testing challenges with the organizers of the TTC workshop. Results will carry over to the workshop on Friday.

Hauke Baller, Sascha Lity, Malte Lochau and Ina Schaefer
 
Multi-Objective Test Suite Optimization for Incremental Product Family Testing  

Panelists
John Penix (Google, Mountain View, CA)
Sigrid Eldh (Ericsson, Sweden)
Mark Grechanik (University of Illinois, Chicago, IL)


Tingting Yu, Witawas Srisa-An, Myra B. Cohen and Gregg Rothermel
 SimLatte: A Framework to Support Testing for Worst-Case Interrupt Latencies in Embedded Software
 


10:30am
11:00am
Break
11:00am
12:30pm
 Research Session R12
Empirical and Industrial Studies

Session Chair:
Claes Wohlin
 Research Session R13
 Model-based Testing

Session Chair:
Darko Marinov
Room: BurlingtonRoom: Emanuele

William Johansson, Martin Svensson, Ulf Larson, Magnus Almgren and Vincenzo Gulisano
 T-Fuzz: Model-Based Fuzzing for Robustness Testing of Telecommunication Protocols 

 

Shaukat Ali and Hadi Hemmati
Model-based Testing of Video Conferencing Systems: Challenges, Lessons Learnt, and Results 

Mark Hays, Jane Hayes and Arne Bathke
 Validation of Software Testing Experiments: A Meta-Analysis of ICST 2013 
 



Nan Li and Jeff Offutt
 An Empirical Analysis of Test Oracle Strategies for Model-based Testing

Robert Feldt
 Do System Test Cases Grow Old? 

 


Przemyslaw Daca, Thomas Henzinger, Willibald Krenn and Dejan Nickovic
 Compositional Specifications for IOCO Testing
 
 
 
12:30pm
2:00pm
Lunch
2:00pm
3:00pm

How can we make future ICSTs better? - Moderator: Brian Robinson
Room: Burlington

3:00pm
3:30pm
Break
3:30pm
4:30pm
ICST 2014 Awards, ICST 2016 presentation, SC announcement and closing
Room: Burlington
 
Friday - April 4, 2014

 8:00am
9:00am

 Breakfast & Registration

9:00am
10:30am

Workshop Sessions and PhD Symposium

 

10:30am
11:00am
Break
11:00am
12:30am
Workshop Sessions and PhD Symposium
12:30am
2:00pm
Lunch
2:00pm
3:30pm
Workshop Sessions and PhD Symposium
3:30pm
4:00pm
Break
4:00pm
5:30pm
Workshop Sessions and PhD Symposium
 
ć
Vinay Augustine,
Apr 2, 2014, 11:54 AM
Comments