Preprint

Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution

Dynamic symbolic execution (DSE) suffers from path explosion problem when the target program has many conditional branches. Classical …

Charitha Saumya, Rohan Gangaraju, Kirshanthan Sundararajah, Milind Kulkarni