Saturday, March 31 

 

09.00 - 09.30

Bernd Finkbeiner,
Yuri Gurevich,
Alexander K. Petrenko

Opening and Welcome

 

09.30 - 10.30

Rob Hierons

Invited Talk: Finding a Good Order for Applying Adaptive Test Cases

 

10.30 - 11.00

Coffee break

 

 

11.00 - 11.45

Anders Hessel and Paul Pettersson

A Global Algorithm for Model-Based Test Suite Generation

 

11.45 - 12.30

Sergiy Boroday, Alexandre Petrenko, and Roland Groz        

Can a Model Checker Generate Tests for Non-Deterministic Systems?

 

12.30 - 14.30

Lunch

 

 

14.30 – 15.15

Maik Kollmann and Yuen Man Hon     

Generating Scenarios by Multi-Object Checking

 

15.15 - 16.00

Franco Raimondi, Charles Pecheur, and Guillaume Brat
     

Testing Planning Domains (without Model Checkers)

 

16.00 - 16.30

Coffee break

 

 

16.30 - 17.15

Ana C. R. Paiva, João C. P. Faria, and Raul F. A. M. Vidal

Towards the Integration of Visual and Formal Models for GUI Testing.

 

17.15 – 18.00

Reserved

 

 

Sunday, April 1

09.30 - 10.30

Antti Huima

Invited Talk: Model-Based Testing in the Standardization of Information and Communication Technologies: the ETSI Perspective

10.30 - 11.00

Coffee break

 

11.00 - 11.45

Frédéric Dadeau, Yves Ledru, and Lydie du Bousquet

Measuring a Java Test Suite Coverage using JML Specifications

11.45 - 12.30

Lydie du Bousquet, Yves Ledru, Frédéric Dadeau, and Faryel Allouti

 

A Case Study in Matching Test and Proof Coverage.

12.30 - 14.30

Lunch

 

14.30 - 15.15

Martin Ouimet and Kristina Lundqvist

Automated Verification of Completeness and Consistency of Abstract State Machine Specifications using a SAT Solver.

15.15 - 16.00

Gordon Fraser, Bernhard K. Aichernig, and Franz Wotawa

 

Handling Model Changes: Regression Testing and Test-Suite Update with Model-Checkers.

16.00 - 16.30

Coffee break

 

16.30 - 17.15

Discussion