Login / Signup
Vasantha Kommanapalli
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
Top Topics
Symbolic Execution
Buffer Overflow
Data Corruption
Test Generation
Top Venues
SAFECOMP
</>
Publications
</>
Paul Muntean
,
Vasantha Kommanapalli
,
Andreas Ibing
,
Claudia Eckert
Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT.
SAFECOMP
(2015)