by Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski
Reference:
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation (Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger, Stefan Kowalewski), In Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Selected Papers, Mikulov, Czech Republic, Schloss Dagstuhl – Leibniz-Zentrum fuer Informatik, Germany, volume 16, 2010. (Best Paper Award)
Bibtex Entry:
@inproceedings { RBH+10, author = { Reinbacher, Thomas and Brauer, J{"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan }, title = { Test-Case Generation for Embedded Binary Code Using Abstract Interpretation }, booktitle = { Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer Science (MEMICS 2010), Selected Papers, Mikulov, Czech Republic }, year = { 2010 }, timestamp = { 2010.09.22 }, publisher = { Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany }, isbn = { 978-3-939897-22-4 }, series = { OASICS }, volume = { 16 }, pages = { 101--108 }, note = { Best Paper Award }, url = { http://www.embedded.rwth-aachen.de/lib/exe/fetch.php?media=bib:rbh+10.pdf }, i11key = { conference }, for_reporting_period = { 2010 }, }