Interleaving Symbolic Execution and Partial Evaluation
Paper in proceedings, 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

0302-9743 (ISSN)

Vol. 6286 125-146

Subject Categories

Software Engineering

Computer Science

DOI

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

ISBN

978-364217070-6