|
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
|
|
|
|
|
|
|
|