C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Dan McDermet
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Databases
Symbolic Execution
Open Source
Dynamic Content
Top Venues
SAC
</>
Publications
</>
Daniel Balasubramanian
,
Zhenkai Zhang
,
Dan McDermet
,
Gabor Karsai
Dynamic symbolic execution for the analysis of web server applications in Java.
SAC
(2019)