TITLE : Static detection of equivalent mutants in real-time model-based mutation testing AUTHOR(S) : Basile D, Ter Beek M, Lazreg S, Cordy M, Legay A TYPE : Journal article YEAR : 2022 CODE : 471004 *** DO NOT EDIT THIS FILE ***