Auf der MEMICS 2010 wurde das Papier Test-Case Generation for Embedded Binary Code Using Abstract Interpretation von Thomas Reinbacher, Jörg Brauer, Martin Horauer, Andreas Steininger und Stefan Kowalewski mit einem Best Paper Award ausgezeichnet. In dem Papier werden die ersten Ergebnisse beschrieben, die im Rahmen des 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.