Best Paper Award @ MEMICS 2010

The paper Test-Case Generation for Embedded Binary Code Using Abstract Interpretation written by Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger and Stefan Kowalewski has received a best paper award at MEMICS 2010. The paper describes the first results of the CEVTES project on automatic test-data generation for embedded binary code. CEVTES is a joint-project of the Embedded Software Laboratory, the Technical University of Vienna, and the University of Applied Sciences Technikum Vienna.


RWTH Aachen University - Chair of Computer Science 11 - Ahornstr. 55 - 52074 Aachen - Germany