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. RITI 2025, 13, 39-51.