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

Daniel Balasubramanian Zhenkai Zhang Dan McDermet Gabor Karsai

Published in: SAC (2019)

Keyphrases

web server
symbolic execution
website
database server
static analysis
dynamic content
databases
database systems
general purpose
database
case study
programming language
open source
database applications