Login / Signup
Gishor Sivanrupan
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Symbolic Execution
Domain Independent
Software Systems
Top Venues
CCS
</>
Publications
</>
Jingxuan He
,
Gishor Sivanrupan
,
Petar Tsankov
,
Martin T. Vechev
Learning to Explore Paths for Symbolic Execution.
CCS
(2021)