8:30-10:00

Registration of participants
Coffee Break    

10:30-12:00

Welcome

 
  • 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

Lunch    

13:30-15:00

  • 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    

15:30-17:00

  • 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