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