Davide Basile, Maurice H. ter Beek, Maxime Cordy, Axel Legay. Tackling the equivalent mutant problem in real-time systems: the 12 commandments of model-based mutation testing. In Roberto Erick Lopez-Herrejon, editor, SPLC '20: 24th ACM International Systems and Software Product Line Conference, Montreal, Quebec, Canada, October 19-23, 2020. ACM, 2020. [doi]
Abstract is missing.