Search the Dagstuhl Website
Looking for information on the websites of the individual seminars? - Then please:
Not found what you are looking for? - Some of our services have separate websites, each with its own search option. Please check the following list:
Schloss Dagstuhl - LZI - Logo
Schloss Dagstuhl Services
Within this website:
External resources:
  • DOOR (for registering your stay at Dagstuhl)
  • DOSA (for proposing future Dagstuhl Seminars or Dagstuhl Perspectives Workshops)
Within this website:
External resources:
Within this website:
External resources:
  • the dblp Computer Science Bibliography

Dagstuhl Seminar 10421

Model-Based Testing in Practice

( Oct 17 – Oct 22, 2010 )

(Click in the middle of the image to enlarge)

Please use the following short url to reference this page:




Software testing is one of the most cost-intensive tasks in the modern software production process. Model-based testing is a light-weight formal method which enables the automatic derivation of tests from software models and their environment. Model-based testing (MBT) has matured as a rich research area in the last decade, with a significant body of research and applications. The academic community is well established with many conferences, workshops, and research projects. Tools for model-based testing have been developed both as research prototypes and as commercial or semi-commercial applications brought to users by midsize and enterprise-level companies, and applied in large scale projects.

In the family of model-driven approaches, model-based testing can be seen as a success story in particular with respect to the degree of mechanical processing and automation that has been achieved, and the adoption in practice. The successful deployment of model-based testing in industrial settings can be seen in the telecommunication domain, chip cards, specific Windows components, and embedded systems in general. An interesting issue is under which circumstances we can expect these successes to carry over to other domains and families of systems as well (e.g., distributed systems; testing Òthe cloudÓ).

This Dagstuhl Seminar brought together top researchers, young scientists, and practitioners to discuss the state of the art, compare it with practical experiences, and derive future directions for model-based testing research and industrialisation. Model-based testing has proved promising even in industrial terms and currently seems at the verge of large-scale deployment.

While previous Dagstuhl seminars around model-based testing (04371 in 2004 and 98361 in 1998) were dedicated to bringing research results into practice, in this seminar we aimed to take advantage of the relative successes of model-based testing and have the discussion guided by available industrial experience. For this reason, this seminar was designed with a particularly high industry participation rate. We also started with a day of talks from industrialist with the focus being on the use of MBT in industry and the challenges faced.

There has been significant progress in MBT since the previous Dagstuhl seminar in 2004. In particular, many more tools are available and there is significant industrial uptake. However, many challenges remain. Some of these challenges were identified in 2004, an example being understanding the relationship between coverage and test quality. In addition, new challenges have arisen. It appears that the move towards highly distributed systems, such as Cloud systems, introduces many interesting scientific and engineering challenges for the community. However, it also provides a great opportunity: these systems are extremely difficult to test in a systematic manner and if effective MBT approaches can be developed for such systems then this should further promote the industrial use of MBT.

  • Bernhard K. Aichernig (TU Graz, AT) [dblp]
  • Kelly Androutsopoulos (University College London, GB)
  • Benoit Baudry (INRIA Rennes - Bretagne Atlantique, FR) [dblp]
  • Fabrice Bouquet (University of Franche-Comté - Besancon, FR)
  • Victor Braberman (University of Buenos Aires, AR)
  • Lionel C. Briand (Simula Research Laboratory - Lysaker, NO) [dblp]
  • Matthias Büchler (KIT - Karlsruher Institut für Technologie, DE)
  • Yiming Cao (Microsoft China - Beijing, CN)
  • Ana Cavalcanti (University of York, GB) [dblp]
  • Haitao Dan (Brunel University, GB)
  • Robert Eschbach (Fraunhofer IESE - Kaiserslautern, DE)
  • Gordon Fraser (Universität des Saarlandes, DE)
  • Angelo Gargantini (Università di Bergamo, IT) [dblp]
  • Marie-Claude Gaudel (University Paris Sud, FR)
  • Wolfgang Grieskamp (Microsoft Research - Redmond, US) [dblp]
  • Constance L. Heitmeyer (Naval Research - Washington, US) [dblp]
  • Robert M. Hierons (Brunel University, GB) [dblp]
  • Victor Kuliamin (Academy of Sciences - Moscow, RU)
  • Andres Kull (Elvior - Tallin, EE)
  • Yves Le Traon (University of Luxembourg, LU) [dblp]
  • Bruno Legeard (Smartesting - Besancon, FR)
  • Eda Marchetti (CNR - Pisa, IT)
  • Mercedes G. Merayo (University Complutense - Madrid, ES)
  • Henry Muccini (University of L'Aquila, IT) [dblp]
  • Manuel Núñez (University Complutense - Madrid, ES) [dblp]
  • Kimmo Nupponen (Conformiq Software Ltd. - Espoo, FI)
  • Johan Oudinet (University of Paris South XI, FR)
  • Gabriele Palma (Genova University, IT)
  • Alexandre Petrenko (CRIM - Montreal, CA)
  • Jan Philipps (Validas AG - München, DE) [dblp]
  • Jesse H. Poore (University of Tennessee, Knoxville, US)
  • Alexander Pretschner (KIT - Karlsruher Institut für Technologie, DE) [dblp]
  • Christopher Robinson-Mallett (Berner & Mattner Systemtechnik - Berlin, DE)
  • Thomas Santen (European Microsoft Innovation Center - Aachen, DE) [dblp]
  • Holger Schlingloff (HU Berlin, DE) [dblp]
  • Julien Schmaltz (Radboud University Nijmegen, NL)
  • Arne Schmenkel (Adam Opel GmbH - GMAPC Europe - Rüsselsheim, DE)
  • Stephan Schulz (Conformiq Software Ltd. - Espoo, FI)
  • Muzammil Shabaz (Fraunhofer IESE - Kaiserslautern, DE)
  • K. C. Shashidhar (MPI-SWS - Kaiserslautern, DE)
  • Alin Stefanescu (University of Pitesti, RO)
  • Perdita Stevens (University of Edinburgh, GB) [dblp]
  • Margus Veanes (Microsoft Corporation - Redmond, US) [dblp]
  • Stephan Weißleder (Fraunhofer Institut - Berlin, DE)
  • Sebastian Wieczorek (SAP Research - Darmstadt, DE)
  • Burkhart Wolff (University of Paris South XI, FR) [dblp]
  • James C. P. Woodcock (University of York, GB) [dblp]

Related Seminars
  • Dagstuhl Seminar 04371: Perspectives of Model-Based Testing (2004-09-05 - 2004-09-10) (Details)

  • modelling / simulation
  • semantics / formal methods
  • sw-engineering
  • verification / logic

  • Testing
  • Modeling
  • Model-Driven Development