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

Zenodo (CERN European Organization for Nuclear Research) 2026 Open access

Read full text
Authors: Charitha Saumya, Muhammad Hassan, Rohan Gangaraju, Milind Kulkarni, Kirshanthan Sundararajah
DOI: 10.5281/zenodo.18463280
Cited by: 0

Fields of Study & Subjects

Software Testing and Debugging Techniques Security and Verification in Computing Logic programming and type systems

Publication details

Journal / source
Zenodo (CERN European Organization for Nuclear Research)
Publication date
3 February 2026