Search

Rohan Gangaraju

Rohan Gangaraju

Home
Publications
CV

Light Dark Automatic

Publications

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

Charitha Saumya, Rohan Gangaraju, Kirshanthan Sundararajah, Milind Kulkarni

© 2024 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.

Cite