N. Cataño, «Combining symbolic execution and model checking to reduce dynamic program analysis overhead», Rev. colomb. comput., vol. 6, n.º 1, pp. 1–15, jun. 2005.