@inproceedings{1175,
  keywords = {Testing, program analysis, symbolic execution},
  author = {Daniel Balasubramanian and Zhenkai Zhang and Dan McDermet and Gabor Karsai},
  title = {Dynamic Symbolic Execution for the Analysis of Web Server Applications in Java},
  abstract = {Symbolic execution is a well-known program analysis technique that explores multiple program paths simultaneously. Among other things, it is used to uncover subtle bugs and corner cases in programs, as well as to produce high-coverage test suites. Even though symbolic execution has seen successful use in practice, there remain challenges in applying it to programs like web servers that use features such as multithreading and callbacks. This paper describes our dynamic symbolic execution framework for Java that was designed with these types of features in mind. Our framework uses bytecode instrumentation combined with a run-time agent to perform the symbolic execution. We give a detailed description of the challenges we faced along with our design choices. We also present benchmark results on various examples including programs that use web server frameworks.},
  year = {2019},
  journal = {34th ACM/SIGAPP Symposium on Applied Computing},
  pages = {2178–2185},
  month = {04/2019},
  publisher = {Association for Computing Machinery},
  address = {New York, NY, USA},
  isbn = {9781450359337},
  url = {https://doi.org/10.1145/3297280.3297494},
  doi = {10.1145/3297280.3297494},
}