S. Amorim, “Reducing Manual Efforts in Equivalence Analysis in Mutation Testing”, JSERD, vol. 12, no. 1, pp. 3:1 – 3:17, Mar. 2024.