QUINTERO MEZA, R. R.; GIL GARCÍA, E. G. 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, [S. l.], v. 13, n. 31 Especial, p. 39–51, 2025. DOI: 10.36825/RITI.13.31.005. Disponível em: https://riti.es/index.php/riti/article/view/396. Acesso em: 3 feb. 2026.