Automata Language Equivalence vs. Simulations for Model-based Mutant Equivalence: An Empirical Evaluation
Jan 1, 2017·
,
,
,
,
,
·
0 min read
Xavier Devroey
Gilles Perrouin
Mike Papadakis
Axel Legay
Pierre-Yves Schobbens
Patrick Heymans
