•  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

  • Gordon Fraser and Franz Wotawa.

Ordering Coverage Goals in Model Checker Based Testing

Automated Test of Interactive Applications Using Task Trees

  • 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

Testing and Validating the Quality of Specifications

Formally comparing user and implementer model-based testing methods.