Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans

January 2017

PDF Project DOI

Type

Conference paper

Publication

IEEE Tenth International Conference on Software Testing, Verification and Validation (ICST ‘17)

Model-Based Testing Mutation Testing

Xavier Devroey

Assistant Professor

My research interests include search-based and model-based software testing, test suite augmentation, DevOps, and variability-intensive systems engineering.

Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation

Xavier Devroey

Assistant Professor

Related