Program

 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