| 8:00 |
Registration |
| 9:00 |
Opening |
| |
Keynote 1: Mutation testing – a practitioner’s perspective
Henry Coles |
| |
MutRex: a mutation-based generator of fault detecting strings for regular expressions
Paolo Arcaini, Angelo Gargantini and Elvinia Riccobene
|
| 10:30 |
Break |
| 11:00 |
Session: Mutant Reduction and Equivalence Detection |
| |
Are Deletion Mutants Easier to Identify Manually?
Vinicius Durelli, Nilton de Souza and Marcio Eduardo Delamaro |
| |
Finding Redundancy in Web Mutation Operators
Upsorn Praphamontripong and Jeff Offutt |
| |
Reducing Mutants with Mutant Killable PreCondition
Chihiro Iida and Shingo Takada |
| |
Speeding-up mutation testing via data compression and state infection
Qianqian Zhu, Annibale Panichella and Andy Zaidman
|
| 12:30 |
Lunch |
| 14:00 |
Keynote 2: Mutation analysis for the real world: effectiveness, efficiency, and proper tool support
René Just |
| |
Session: Empirical Studies
|
| |
Applying Mutation Analysis On Kernel Test Suites: An Experience Report
Iftekhar Ahmed, Carlos Jensen, Alex Groce and Paul McKenney |
| |
How Good are Your Types? Using Mutation Analysis to Evaluate the Effectiveness of Type Annotations
Rahul Gopinath and Eric Walkingshaw
|
| 15:30 |
Break |
| 16:00 |
Session: Operator Design and Tool Development |
| |
Towards Security-aware Mutation Testing
Thomas Loise, Xavier Devroey, Gilles Perrouin, Mike Papadakis and Patrick Heymans
|
| |
Mutation patterns for temporal requirements of reactive systems
Mark Trakhtenbrot |
| |
An architecture for the development of mutation operators
Macario Polo Usaola, Gonzalo Rojas, Isyed Rodríguez and Suilen Hernández |
| 17:00 |
Panel: From Academia to Industry and Back Again |
| 17:45 |
Closing |
|
|
