Login / Signup
George C. Necula
Publication Activity (10 Years)
Years Active: 1996-2018
Publications (10 Years): 2
Top Topics
Regression Testing
Space Exploration
Symbolic Execution
Graphical User Interface
Top Venues
OOPSLA
CoRR
PPOPP
PLDI
</>
Publications
</>