Interleaving symbolic execution and partial evaluation (2010)

by R Bubel, R Hähnle, R Ji
Venue:In Proc. FMCO ’09, LNCS 6286