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