Speaker Invited Speaker
Date
01-01-2006
Event name
Type of invitation
Invited Speaker
Invited Person
Speech Title
Using the Automatic Generation of Automata for Testing (AGATE) to Create State Machines from Traces