P. B. Fernández-Oliva, A. M. Güemes-Esperón, M. D. Delgado-Dapena, y A. . Rosete, «Modelo de reducción basado en búsqueda para pruebas unitarias », Rev.Fac.Ing.Univ.Antioquia, n.º 109, pp. 35–47, oct. 2022.