CATAÑO, N. Combining symbolic execution and model checking to reduce dynamic program analysis overhead. Revista Colombiana de Computación, [S. l.], v. 6, n. 1, p. 1–15, 2005. Disponível em: https://revistas.unab.edu.co/index.php/rcc/article/view/1069. Acesso em: 26 abr. 2024.