R. R. Quintero Meza y E. G. Gil García, «Automatización de pruebas de software basadas en propiedades mediante ingeniería de prompts e inteligencia artificial», RITI, vol. 13, n.º 31 Especial, pp. 39–51, oct. 2025.