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.