Cataño, N. «Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead». Revista Colombiana De Computación, vol. 6, n.º 1, junio de 2005, pp. 1-15, https://revistas.unab.edu.co/index.php/rcc/article/view/1069.