Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution

Charitha Saumya, Muhammad Hassan, Rohan Gangaraju, Milind Kulkarni, Kirshanthan Sundararajah

OOPSLA 2026

Preprint PDF Code