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:

ETAPS 2008 | Top | HTML 4.01 | Last Update: 2008-01-13