Cataño, N. (2005). Combining symbolic execution and model checking to reduce dynamic program analysis overhead. Revista Colombiana De Computación, 6(1), 1–15. Recuperado a partir de https://revistasunabeduco.biteca.online/index.php/rcc/article/view/1069