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