Model-based mutant equivalence detection using automata language equivalence and simulations

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