Interleaving Symbolic Execution and Partial Evaluation
Paper i 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.

Författare

Richard Bubel

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Reiner Hähnle

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Ran Ji

Chalmers, Data- och informationsteknik, Programvaruteknik (Chalmers)

Lecture Notes in Computer Science

0302-9743 (ISSN)

Vol. 6286 125-146

Ämneskategorier

Programvaruteknik

Datavetenskap (datalogi)

DOI

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

ISBN

978-364217070-6

Mer information

Skapat

2017-10-08