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

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

Browse the full ICST paper archive.