by Christina Jansen, Florian Göbe, Thomas Noll
Reference:
Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating Programs (Christina Jansen, Florian Göbe, Thomas Noll), In Graph Transformation – 7th International Conference, ICGT 2014, Held as Part of STAF 2014, York, UK, July 22-24, 2014. Proceedings, 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/gg/JansenGN14,
author = {Christina Jansen and
Florian G{"{o}}be and
Thomas Noll},
title = {Generating Inductive Predicates for Symbolic Execution of Pointer-Manipulating
Programs},
booktitle = {Graph Transformation - 7th International Conference, {ICGT} 2014,
Held as Part of {STAF} 2014, York, UK, July 22-24, 2014. Proceedings},
year = {2014},
pages = {65--80},
crossref = {DBLP:conf/gg/2014},
url = {http://dx.doi.org/10.1007/978-3-319-09108-2_5},
doi = {10.1007/978-3-319-09108-2_5},
timestamp = {Tue, 07 Oct 2014 11:54:21 +0200},
biburl = {http://dblp.uni-trier.de/rec/bib/conf/gg/JansenGN14},
bibsource = {dblp computer science bibliography, http://dblp.org}
}