Login / Signup
Rohan Gangaraju
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 1
Top Topics
Specification Language
Pattern Matching
Test Generation
Control Flow
Top Venues
CoRR
</>
Publications
</>
Charitha Saumya
,
Rohan Gangaraju
,
Kirshanthan Sundararajah
,
Milind Kulkarni
Targeted Control-flow Transformations for Mitigating Path Explosion in Dynamic Symbolic Execution.
CoRR
(2023)