Cataño, Nestor. «Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead». Revista Colombiana de Computación 6, no. 1 (junio 1, 2005): 1–15. Accedido agosto 23, 2025. https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1069.