====== Guest: Thomas Reinbacher ======

From 17/02/2011 till 01/03/2011, [[http://ti.tuwien.ac.at/ecs/people/treinbacher|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 [[http://ti.tuwien.ac.at/ecs/research/projects/cevtes|CEVTES]] project on automatic test-case generation for embedded systems.