Amorim, S., L. Fernandes, M. Ribeiro, R. Gheyi, M. Delamaro, M. Guimarães, and A. Santos. “Reducing Manual Efforts in Equivalence Analysis in Mutation Testing”. Journal of Software Engineering Research and Development, vol. 12, no. 1, Mar. 2024, pp. 3:1 - 3:17, doi:10.5753/jserd.2024.3588.