Programme of MBT at ETAPS 2007

(3rd Workshop on Model Based Testing)

Saturday, March 31, room: CP2-102

09:00 - 10:30 SESSION 1

Opening and Welcome

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Invited Talk

Finding a Good Order for Applying Adaptive Test Cases

Rob Hierons

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

A Global Algorithm for Model-Based Test Suite Generation

Anders Hessel and Paul Pettersson

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

Sergiy Boroday, Alexandre Petrenko, and Roland Groz

12:30 - 14:30 Lunch

14:30 - 16:00 SESSION 3

Generating Scenarios by Multi-Object Checking

Maik Kollmann and Yuen Man Hon

Testing Planning Domains (without Model Checkers)

Franco Raimondi, Charles Pecheur, and Guillaume Brat

16:00 - 16:30 Coffee Break

16:30 - 17:15 SESSION 4

Towards the Integration of Visual and Formal Models for GUI Testing

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

17:15 - 18:00 Reserved

18:45 SOCIAL EVENT

Joint Workshops Post-Conference Dinner (tickets needed)

Dinner at Pousada Santa Maria de Bouro

Shuttle departure from University Campus, Gualtar

Sunday, April 1, room: CP2-102

09:00 - 10:30 SESSION 1

Invited Talk

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

Antti Huima

10:30 - 11:00 Coffee Breaks

11:00 - 12:30 SESSION 2

Measuring a Java Test Suite Coverage using JML Specifications

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

A Case Study in Matching Test and Proof Coverage

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

12:30 - 14:30 Lunch

14:30 - 16:00 SESSION 3

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

Martin Ouimet and Kristina Lundqvist

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

Gordon Fraser, Bernhard K. Aichernig, and Franz Wotawa

16:00 - 16:30 Coffee Break

16:30 - 17:15 Discussion

Further ETAPS 2007 Programme Information:

• Programme Overview, Social Programme
• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, Bytecode, COCV, FESCA, FinCo, GT-VMT, HAV, HFL, LDTA, MOMPES, OpenCert, QAPL, SC, SLA++P, TERMGRAPH, WITS,
• Tutorials: Stratego/XT, SoftwGen, Mobius