TY  - RPRT
TI  - Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution
AU  - Charitha Saumya
AU  - Muhammad Hassan
AU  - Rohan Gangaraju
AU  - Milind Kulkarni
AU  - Kirshanthan Sundararajah
PY  - 2026
DO  - 10.1145/3798202
UR  - https://arxiv.org/abs/2308.01554
ID  - 2308.01554
ER  -