Login / Signup
Cristian Cadar
ORCID
Publication Activity (10 Years)
Years Active: 2004-2023
Publications (10 Years): 39
Top Topics
Static Analysis
Presburger Arithmetic
Electronic Documents
Execution Engine
Top Venues
ISSTA
ASE
ESEC/SIGSOFT FSE
ICSE
</>
Publications
</>