Output details
11 - Computer Science and Informatics
Royal Holloway, University of London
Output title
Efficient state merging in symbolic execution
Type
E - Conference contribution
Name of conference/published proceedings
Proc. 33rd Conf. Programming Language Design and Implementation (PLDI 2012)
Volume number
-
Issue number
-
First page of article
193
ISSN of proceedings
-
Year of publication
2012
Number of additional authors
3
Additional information
<10>This paper is the first thorough exploration of the effect on performance of implementation choices in symbolic execution engines for automated test generation. Instead of focusing on a single design point, it takes a highly effective dynamic and adaptive approach. Besides its technical contribution, reviewers have applauded it for integrating the many different symbolic execution techniques into a single algorithm. The technique has resulted in a patent application (US #13/453,973) that is currently pending. Invited talks were given in 2013 at UC Berkeley and at the Singapore University of Technology and Design.
Interdisciplinary
-
Cross-referral requested
-
Research group
C - Centre for Software Language Engineering
Citation count
3
Proposed double-weighted
No
Double-weighted statement
-
Reserve for a double-weighted output
No
Non-English
No
English abstract
-