Interleaving symbolic execution and partial evaluation (2010)

by Richard Bubel, Reiner Hähnle, Ran Ji
Venue:In Formal Methods for Components and Objects