Tutorial Day
There will be the following half day tutorials presented at the Tutorial Day on June 26, 2007:
- Model-Based Software Testing and Analysis with C# and NModel,
Jonathan Jacky, University of Washington, USA (details) - Software Fault Diagnosis
Peter Zoeteweij, Delft University of Technology, The Netherlands (details) - Theorem-Prover Based Testing with HOL-TestGen
Burkhart Wolff and Achim D. Brucker, ETH Zürich, Switzerland (details) - Model-Based Testing of Real-Time Systems
Brian Nielsen, University of Aalborg, Denmark (details)
The program of the Tutorial Day is available here.