====== Best Paper Award @ MEMICS 2010 ======

The paper //Test-Case Generation for Embedded Binary Code Using Abstract Interpretation// written by [[http://ti.tuwien.ac.at/ecs/people/treinbacher|Thomas Reinbacher]], [[:en:lehrstuhl:mitarbeiter:brauer|Jörg Brauer]], [[http://embsys.technikum-wien.at/staff/horauer/index.php|Martin Horauer]], [[http://ti.tuwien.ac.at/ecs/people/steininger|Andreas Steininger]] and [[:en:lehrstuhl:mitarbeiter:kowalewski|Stefan Kowalewski]] has received a best paper award at [[http://www.memics.cz/2010/index.php|MEMICS 2010]]. The paper describes the first results of the [[http://ti.tuwien.ac.at/ecs/research/projects/cevtes|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.