Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
January 1, 2017·,,,,,·
0 min read
xdevroey
Gilles Perrouin
Mike Papadakis
Axel Legay
Pierre-Yves Schobbens
Patrick Heymans
Type
Publication
IEEE Tenth International Conference on Software Testing, Verification and Validation (ICST ‘17)