Test-Case Generation for Embedded Binary Code Using Abstract Interpretation

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 },
}

Bookmark the permalink.