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

Auf der [[http://www.memics.cz/2010/index.php|MEMICS 2010]] wurde das Papier //Test-Case Generation for Embedded Binary Code Using Abstract Interpretation// von [[http://ti.tuwien.ac.at/ecs/people/treinbacher|Thomas Reinbacher]], [[: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]] und [[:lehrstuhl:mitarbeiter:kowalewski|Stefan Kowalewski]] mit einem Best Paper Award ausgezeichnet. In dem Papier werden die ersten Ergebnisse beschrieben, die im Rahmen des [[http://ti.tuwien.ac.at/ecs/research/projects/cevtes|CEVTES]] Projekts zur automatischen Testfallgenerierung erarbeitet wurden. Bei CEVTES handelt es sich um eine Kooperation zwischen dem Lehrstuhl Informatik 11, der Technischen Universität Wien und dem Technikum Wien.