PhD defence Jens R. Calamé
Event date:
Thu, 04/09/2008 - 14:00 Errors in software can be catastrophic, for example in ATMs. Jens Calamé researched how the process of avoiding these errors can be automated.
Title: 'Testing Reactive Systems with Data - Enumerative Methods and Constraint Solving' .
Supervisors: Prof. dr. J.C. van de Pol (Universiteit Twente), Prof. dr. W.J. Fokkink (VU Amsterdam en CWI).
Location: Gebouw De Spiegel, room SP-2, University of Twente, Drienerlolaan 5, Enschede.
