====== Besuch: Thomas Reinbacher ======

Vom 19. Juli bis zum 13. August bekommt unser Lehrstuhl Besuch von [[http://ti.tuwien.ac.at/ecs/people/treinbacher|Thomas Reinbacher]], einem Doktoranden an der TU Wien. Im Rahmen seiner Forschung beschäftigt Thomas sich vor allem um Testfallgenerierung auf Basis von ausführbarem Programmcode und die Anbindung von Testing an den [[http://mcsquare.embedded.rwth-aachen.de|[mc]square]] Model-Checker.
\\
\\
Am 29. Juli um 10:00 Uhr wird er im Raum 2002 einen 30-minütigen Vortrag über seine Arbeit halten. Interessierte Zuhörer sind herzlich eingeladen.