Cataño, N. Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead. Rev. colomb. comput. 2005, 6, 1-15.