Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation Jan 1, 2017· Xavier Devroey , Gilles Perrouin , Mike Papadakis , Axel Legay , Pierre-Yves Schobbens , Patrick Heymans · 0 min read PDF Cite DOI Type Conference paper Publication IEEE Tenth International Conference on Software Testing, Verification and Validation (ICST ‘17) Last updated on Jan 1, 2017 Model-Based Testing Mutation Testing Authors Xavier Devroey Professor ← Yo variability! JHipster: a playground for web-apps analyses Feb 1, 2017 Behavioural model-based testing of software product lines Jan 1, 2017 →