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

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

Research output: Contribution in Book/Catalog/Report/Conference proceeding › Conference contribution

40 Downloads (Pure)

2 results

Filter

Finished
FEDER-IDEES Co-Innovation: Co-Innovation
Heymans, P.
1/01/15 → 31/12/20
Project: Research
Thesis-X-Devroey: Behavioural Model Based Testing of Software Product Lines
Devroey, X., Heymans, P., Schobbens, P. Y. & Perrouin, G.
1/09/11 → 30/08/17
Project: PHD