Dan McDermet

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Symbolic Execution

Dynamic Content

Top Venues

Publications

Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai
Dynamic symbolic execution for the analysis of web server applications in Java. SAC (2019)