Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead

Néstor Cataño. Combining Symbolic Execution and Model Checking to Reduce Dynamic Program Analysis Overhead. Revista Comlombiana de Computación, 6(1), 2005. [doi]

Abstract

Abstract is missing.