University of Minnesota
Software Engineering Center

You are here

Corina Pǎsǎreanu

Recent Publications

Parallel Symbolic Execution for Structural Test Generation

Symbolic execution is a popular technique for automatically generating test cases achieving high structural coverage. Symbolic execution suffers from scalability issues since the number of symbolic paths that need to be explored is very large (or even infinite) for most realistic programs. To address this problem, we propose a technique, Simple Static Partitioning, for parallelizing symbolic execution.