Dynamic symbolic execution for the analysis of web server applications in Java.

Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai

Browse the full SAC paper archive.