Accepted Papers
SMT-C: A Semantic Mutation Testing Tool for C
Haitao Dan and Rob Hierons
Mutant Execution Cost Reduction
Pedro Reales Mateo and Macario Polo Usaola
Testing Obligation Policy Enforcement using Mutation Testing
Yehia Elrakaiby, Tejeddine Mouelhi and Yves Le Traon
Toward Harnessing High-level Language Virtual Machines for Further Speeding up Weak Mutation Testing
Vinicius Durelli, Jeff Offutt and Marcio Delamaro
Using mutants to locate “unknown” faults
Mike Papadakis and Yves Le Traon
Isolating First Order Equivalent Mutants via Second Order Mutation
Marinos Kintis, Mike Papadakis and Nicos Malevris
MESSI: Mutant Evaluation by Static Semantic Interpretation
Matthew Patrick, Manuel Oriol and John Clark
Do Redundant Mutants Affect the Effectiveness and Efficiency of Mutation Analysis?
Rene Just, Gregory Kapfhammer and Franz Schweiggert