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