@misc{indiciae26d7cdc3f4d8,
  title = {Taming the Hydra: Targeted Control-Flow Transformations for Dynamic Symbolic Execution},
  author = {Charitha Saumya and Muhammad Hassan and Rohan Gangaraju and Milind Kulkarni and Kirshanthan Sundararajah},
  year = {2026},
  doi = {10.1145/3798202},
  url = {https://arxiv.org/abs/2308.01554},
  note = {Source identifier: 2308.01554}
}