|Dynamic Symbolic Execution for the Analysis of Web Server Applications in Java
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.
|Year of Publication
34th ACM/SIGAPP Symposium on Applied Computing
Association for Computing Machinery
New York, NY, USA
|Google Scholar | BibTeX | XML | DOI