Efficiently Finding Useless Mutants - Souza, Beatriz (2021)