====== Thomas Reinbacher zu Gast ======

Im Zeitraum vom 17. Januar bis zum 1. März besucht [[http://ti.tuwien.ac.at/ecs/people/treinbacher|Thomas Reinbacher]] von der TU Wien unsere Gruppe. Ziel dieses Besuches ist es, die Arbeit am [[http://ti.tuwien.ac.at/ecs/research/projects/cevtes|CEVTES]] Projekt zur automatischen Testfallgenerierung für eingebettete System voranzutreiben.