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]
@inproceedings{BubelHJ09,
title = {Interleaving Symbolic Execution and Partial Evaluation},
author = {Richard Bubel and Reiner Hähnle and Ran Ji},
year = {2009},
doi = {10.1007/978-3-642-17071-3_7},
url = {http://dx.doi.org/10.1007/978-3-642-17071-3_7},
tags = {partial evaluation},
researchr = {https://researchr.org/publication/BubelHJ09},
cites = {0},
citedby = {0},
pages = {125-146},
booktitle = {Formal Methods for Components and Objects - 8th International Symposium, FMCO 2009, Eindhoven, The Netherlands, November 4-6, 2009. Revised Selected Papers},
editor = {Frank S. de Boer and Marcello M. Bonsangue and Stefan Hallerstede and Michael Leuschel},
volume = {6286},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-17070-6},
}