Invited Speakers

Marie-Claude Gaudel

Emeritus Professor

Université de Paris-Sud, Orsay



Wolfgang Grieskamp


Architect, Protocol Tools and Test Team, Microsoft


March 30, 2008


09:15 - 10:30 SESSION 1


Opening and Welcome

Bernd Finkbeiner, Yuri Gurevich, Alexander K. Petrenko


Invited Talk:

Using Model-Based Testing for Quality Assurance of Protocol Documentation
Wolfgang Grieskamp
abstract, slides


10:30 - 11:00 Coffee


11:00 - 12:30 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:30 Lunch


14:30 - 16:00 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 - 17:30 SESSION 4 


Invited Talk:

Coverage-Biased Random Exploration of Large Models
Marie-Claude Gaudel
abstract, slides



Aims and Scope

The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models that describe the behavior of the system under consideration to guide such efforts as test selection and test results evaluation.

Model-based testing has gained attention with the popularization of models in software/hardware design and development. Of particular importance are formal models with precise semantics, such as state-based formalisms. Testing with such models allows one to measure the degree of the product's conformance with the model.

Techniques to support model-based testing are drawn from diverse areas, like formal verification, model checking, control and data flow analysis, grammar analysis, and Markov decision processes.

The intent of this workshop is to bring together researchers and users using different kinds of models for testing and to discuss the state of the art in theory, applications, tools, and industrialization of model-based testing.

Workshop History

MBT 2008 is the fourth event in a series of ETAPS satellite workshops. MBT 2004, historically the first meeting to focus on model-based testing, was held March 27-28, 2004, in Barcelona, Spain. The proceedings appeared as ENTCS volume 111. MBT 2006 was held March 25-26, 2006, in Vienna, Austria. The proceedings appeared as ENTCS volume 164, issue 4. MBT 2007 was held March 31 - April 1, 2007, in Braga, Portugal. The proceedings appeared as ENTCS volume 190, issue 2.

Submission Topics

Original submissions are solicited from industry and academia. They are invited to present their work, plans, and views related to model-based testing. The topics of interest include but are not limited to:

Online and offline test sequence generation methods and tools
Test data selection methods and tools
Runtime verification
Model-based test coverage metrics
Automatic domain/partition analysis
Combination of verification and testing
Models as test oracles
Scenario based test generation
Meta programming support for testing
Formalisms suitable for model-based testing
Application of model checking techniques in model-based testing
Game theoretic approaches to testing
Model-based testing in industry: problems and achievements

Important Dates

Paper submissions – December 20, 2007
Notification of acceptance – January 14, 2008
Final versions – January 30, 2008
Workshop – March 30, 2008

Paper Submission

RESEARCH PAPERS should be limited to 12 pages in the standard Springer Verlag format (see
), describing significant research results based on sound theory or experimental assessment.

We also solicit INDUSTRY EXPERIENCE PAPERS, about the use of model-based testing in industrial environments. Such papers should be limited to 12 pages too.

Workshop proceedings will be distributed by the organizers of ETAPS’08. It is intended also that selected contributions will be published in a journal.

Organizing Committee

Bernd Finkbeiner (Universität des Saarlandes, Germany)
Yuri Gurevich (Microsoft Research, USA)
Alexander K. Petrenko (Institute for System Programming of Russian Academy of Sciences)

Program Committee

Bernhard K. Aichernig (Graz University of Technology, Austria)
Jonathan Bowen (Museophile Limited, UK)
Mirko Conrad (The MathWorks GmbH, Germany)
John Derrick (University of Kent, UK)
Bernd Finkbeiner (Universität des Saarlandes, Germany)
Marie-Claude Gaudel (Universite Paris-Sud, France)
Susanne Graf (Verimag, Grenoble, France)
Yuri Gurevich (Microsoft Research, USA)
Ziyad Hanna (Jasper Design Automation, USA)
Alexander S. Kossatchev (ISP RAS, Russia)
Darko Marinov (University of Illinois, USA)
Bruno Marre (Universite Paris-Sud, France)
Alexander K. Petrenko (ISP RAS, Russia)
Alexandre Petrenko (Computer Research Institute of Montreal, Canada)
Nikolai Tillmann (Microsoft Research, USA)
Jan Tretmans (Embedded Systems Institute, Eindhoven, The Netherlands)
Nina Yevtushenko (Tomsk State University, Russia)