Interleaving Symbolic Execution and Partial Evaluation
Paper in proceeding, 2010

Partial evaluation is a program specialization technique that allows to optimize programs for which partial input is known. We show that partial evaluation can be used with advantage to speed up as well symbolic execution of programs. Interestingly, the input required for partial evaluation comes from symbolic execution itself which makes it natural to interleave partial evaluation and symbolic execution steps in a software verification setup.

Author

Richard Bubel

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Reiner Hähnle

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Ran Ji

Chalmers, Computer Science and Engineering (Chalmers), Software Engineering and Technology (Chalmers)

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

03029743 (ISSN) 16113349 (eISSN)

Vol. 6286 125-146
978-364217070-6 (ISBN)

Subject Categories

Software Engineering

Computer Science

DOI

10.1007/978-3-642-17071-3_7

ISBN

978-364217070-6

More information

Created

10/8/2017