Tuesday, March 28, 2006 |
|
| 9:30 - 10:30 |
Invited TalkJan Tretmanns (University of Nijmegen, The Netherlands)Model-based testing: An attempt to combine provable soundness and effective automation and industrial applicability |
| Raum H5 | |
| 10:30 - 11:00 | Coffee Break |
| 11:00 - 12:30 | MBT Workshop Session 1
|
| Raum 2.429 | |
| 12:30 - 14:00 | Lunch Break |
| 14:00 - 15:30 | MBT Workshop Session 2
|
| Raum 2.429 | |
| 15:30 - 16:00 | Coffee Break |
| 16:00 - 17:30 | MBT Workshop Discussion and Closing Session |
| Raum 2.429 | |