Automata Language Equivalence vs. Simulations for Model-Based Mutant Equivalence: An Empirical Evaluation | IEEE Conference Publication | IEEE Xplore