Fernández-Oliva PB, Güemes-Esperón AM, Delgado-Dapena MD, Rosete A. Modelo de reducción basado en búsqueda para pruebas unitarias . Rev.Fac.Ing.Univ.Antioquia [Internet]. 18 de octubre de 2022 [citado 31 de marzo de 2025];(109):35-47. Disponible en: https://revistas.udea.edu.co/index.php/ingenieria/article/view/348674