Vom 19. Juli bis zum 13. August bekommt unser Lehrstuhl Besuch von 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 [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.