Cataño, N. 2005. Combining symbolic execution and model checking to reduce dynamic program analysis overhead. Revista Colombiana de Computación. 6, 1 (jun. 2005), 1–15.