Sign in

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

Daniel BalasubramanianZhenkai ZhangDan McDermetGabor 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