Richard Bubel, Reiner Hähnle, Ran Ji. Interleaving Symbolic Execution and Partial Evaluation. In Frank S. de Boer, Marcello M. Bonsangue, Stefan Hallerstede, Michael Leuschel, editors, Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers. Volume 6286 of Lecture Notes in Computer Science, pages 125-146, Springer, 2009. [doi]
Abstract is missing.