Registration of participants
Coffee Break    



  • Invited speaker : Robert M. Hierons.

Model based testing in the distributed test architecture

  • Gordon Fraser and Franz Wotawa.

Ordering Coverage Goals in Model Checker Based Testing



  • Laya Madani and Ioannis Parissis.

Automated Test of Interactive Applications Using Task Trees


Testing and Validating the Quality of Specifications

Formally comparing user and implementer model-based testing methods

Coffee Break    


  • Valdivino Santiago, Nandamudi Vijaykumar, Danielle Guimarães and Ana Amaral.

An Environment for  Automated Test Case Generation from Statechart-based and Finite State  Machine-based Behavioral Models

  • Richard Paige, Emine Aydal and Jim Woodcock.

Observations for Assertion-based Scenarios in the context of Model Validation and Extension to Test Case Generation

Use of invariant properties to evaluate the results of fault-injection-based robustness testing of protocol implementations