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.