The 6th International Workshop on Systems Software Verification (SSV 2011) will be organized by Jörg Brauer from our group together with Marco Roveri from FBK-irst and Hendrik Tews from TU Dresden. The head of the Embedded Software Laboratory, Stefan Kowalewski will serve as part of the program committee. SSV 2011 will take place on August 26 and 27, 2011 in Nijmegen, The Netherlands. It will be held in conjunction with the 2nd International Conference on Interactive Theorem Proving.
From 17/02/2011 till 01/03/2011, Thomas Reinbacher from the Technical University of Vienna is visiting our group. The ultimate goal of his visit is to drive further developments in the CEVTES project on automatic test-case generation for embedded systems.
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.