Sciweavers

FMCO
2009
Springer

Interleaving Symbolic Execution and Partial Evaluation

13 years 1 months ago
Interleaving Symbolic Execution and Partial Evaluation
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.
Richard Bubel, Reiner Hähnle, Ran Ji
Added 17 Feb 2011
Updated 17 Feb 2011
Type Journal
Year 2009
Where FMCO
Authors Richard Bubel, Reiner Hähnle, Ran Ji
Comments (0)