Reducing manual efforts in equivalence analysis in mutation testing - Amorim, Samuel; Fernandes, Leonardo; Ribeiro, Marcio; Gheyi, Rohit; Delamaro, Márcio Eduardo; Guimarães, Marcio; Santos, André (Journal of Software Engineering Research and Development, 2024)