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://revistasunabeduco.biteca.online/index.php/rcc/article/view/1069 (Accedido: 23 agosto 2025).