L. Leopoldo Pauta Ayabaca y S. Moscoso Bernal, «Verificación y validación de software», tecnica, vol. 1, n.º 3, pp. 25–32, dic. 2017.