FERNÁNDEZ-OLIVA, P. B.; GÜEMES-ESPERÓN, A. M.; DELGADO-DAPENA, M. D.; ROSETE, A. . Modelo de reducción basado en búsqueda para pruebas unitarias . Revista Facultad de Ingeniería Universidad de Antioquia, [S. l.], n. 109, p. 35–47, 2022. DOI: 10.17533/udea.redin.20221098. Disponível em: https://revistas.udea.edu.co/index.php/ingenieria/article/view/348674. Acesso em: 31 mar. 2025.