Please note that this newsitem has been archived, and may contain outdated information or links.
25 September 2009, Master of Logic defense, Floor Sietsma
Candidate: Floor Sietsma
Title: A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems
Date: Friday 25 September 2009
Time: 11:00
Location: Room A1.14, Science Park 904, Amsterdam
Supervisor: Inge Bethke
Please note that this newsitem has been archived, and may contain outdated information or links.