Programme of MBT at ETAPS 2008

(Fourth Workshop on Model-Based Testing)

Sunday, March 30, room: Room IV.

09:15 - 10:30 SESSION 1

Opening session

Opening and Welcome

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko

Invited Talk: Using Model-Based Testing for Quality Assurance of Protocol Documentation

Wolfgang Grieskamp

10:30 - 11:00 Coffee

11:00 - 12:30 SESSION 2

Session 2

Verifying Test-Hypotheses - An Experiment in Test and Proof

Achim D. Brucker, Lukas Brügger, and Burkhart Wolff

j-POST: a Java Tool-chain for Property-Oriented Software Testing

Yliés Falcone, Laurent Mounier, Jean-Claude Fernandez and Jean-Luc Richier

A Lightweight Approach for the Semantic Validation of Model Refinements

Claudia Pons and Diego Garcia

12:30 - 14:00 Lunch

14:30 - 16:00 SESSION 3

Session 3

Improving Fault-based Conformance Testing

Bernhard K. Aichernig, Martin Weiglhofer, and Franz Wotawa

Cooperative Testing of Uncontrollable Timed Systems

Alexandre David, Kim G. Larsen, Shuhao Li, and Brian Nielsen

Model-based Security Testing using UMLsec. A case-study

Jan Jürjens

16:00 - 16:30 Coffee

16:30 - 18:15 SESSION 4

Session 4

Invited Talk: Coverage-Biased Random Exploration of Large Models

Marie-Claude Gaudel

Detailed Programme Information:

• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, ByteCode, COCV, CMCS, DCC, FESCA, FIT, FORMED, GALOP, GT-VMT, LDTA, MBT, MOMPES, PDMC, QAPL, RV, SafeCert, SC, SLA++P, WGT, WRLA