Escobar-Sánchez, Milton Eduardo, and Walter Marcelo Fuertes-Díaz. 2015. “A formal model for the functional test of software to achieve maturity integrated level 2”. Revista Facultad de Ingeniería 24 (39):31-42. https://doi.org/10.19053/01211129.3549.