Cataño N. Combining symbolic execution and model checking to reduce dynamic program analysis overhead. Rev. colomb. comput. [Internet]. 1 de junio de 2005 [citado 18 de abril de 2024];6(1):1-15. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/1069