Xavier Devroey, Gilles Perrouin, Mike Papadakis, Axel Legay, Pierre-Yves Schobbens, Patrick Heymans. Model-based mutant equivalence detection using automata language equivalence and simulations. Journal of Systems and Software, 141:1-15, 2018. [doi]
Abstract is missing.