Cataño, N. (2005) «Combining symbolic execution and model checking to reduce dynamic program analysis overhead», Revista Colombiana de Computación, 6(1), pp. 1–15. Disponible en: https://revistas.unab.edu.co/index.php/rcc/article/view/1069 (Accedido: 20 abril 2024).