Quintero Meza RR, Gil García EG. Automatización de pruebas de software basadas en propiedades mediante ingeniería de prompts e inteligencia artificial. RITI [Internet]. 26 de octubre de 2025 [citado 3 de diciembre de 2025];13(31 Especial):39-51. Disponible en: https://riti.es/index.php/riti/article/view/396