L. Leopoldo Pauta Ayabaca and S. Moscoso Bernal, “Software Verification and Validation”, tecnica, vol. 1, no. 3, pp. 25–32, Dec. 2017, doi: 10.26871/killkana_tecnica.v1i3.112.