LEOPOLDO PAUTA AYABACA, L.; MOSCOSO BERNAL, S. Software Verification and Validation. Killkana Técnica, v. 1, n. 3, p. 25–32, 21 Dec.2017.