Fernández-Oliva, P.B., Güemes-Esperón, A.M., Delgado-Dapena, M.D. y Rosete, A. 2022. Modelo de reducción basado en búsqueda para pruebas unitarias . Revista Facultad de Ingeniería Universidad de Antioquia. 109 (oct. 2022), 35–47. DOI:https://doi.org/10.17533/udea.redin.20221098.