Quintero Meza, R.R. y Gil García, E.G. 2025. Automatización de pruebas de software basadas en propiedades mediante ingeniería de prompts e inteligencia artificial. Revista de Investigación en Tecnologías de la Información. 13, 31 Especial (oct. 2025), 39–51. DOI:https://doi.org/10.36825/RITI.13.31.005.