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