Souza, B.; Gheyi, R. Efficiently Finding Useless Mutants. REIC 2021, 19.