Aims and Scope

The workshop MBT 2017 is devoted to model-based testing of computational systems. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test evaluation. Testing validates the real system behavior against models and checks that the implementation conforms to them, but is capable also to find errors in the models themselves.

Model-based testing has gained attention with the popularization of models in systems design and development. Of particular importance are formal models with precise semantics, such as state-based formalisms, algebraic specifications, or other formal descriptions of possible system behavior. Testing with such models allows to detect subtle bugs and at the same time to measure the degree of the product's conformance with the model. Model-based testing has particular importance in areas such as testing of cyber-physical systems and security testing due to their inherent complexity. Application domains are communicating systems, mobile and web applications, industry 4.0, medical and industrial devices, and others.

Techniques to support model-based testing are drawn from various areas, like deductive verification, model checking, constraint solving, control and data flow analysis, grammar analysis, Markov processes, etc.

The intent of this workshop is to bring together researchers and users of model-based testing techniques and tools to discuss the state of the art in theory, applications, tools, and industrialization of model-based testing and related domains. MBT 2017 in particular addresses also industrial participants to exchange their ideas about applicability and experiences with model-based testing.

Workshop History

MBT 2017 is the eleventh 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.
MBT 2006
was held March 25-26, 2006, in Vienna, Austria.
MBT 2007
on March 31 - April 1, 2007, in Braga, Portugal.
MBT 2008 on March 30, 2008, in Budapest, Hungary.
MBT 2009 on March 22, 2009, in York, UK.
MBT 2010 on March 21, 2010, in Paphos, Cyprus.
MBT 2012 on March 25, 2012, in Tallinn, Estonia.
MBT 2013 on March 17, 2013, in Rome, Italy.

MBT 2014 on April 6, 2014, in Grenoble, France.
MBT 2015 on April 18, 2015, in London, UK.

The proceedings have appeared in ENTCS (volumes 111, 164, 190, 220, 253) and in EPTCS (volumes 80, 111, 141, 180).

Submission Topics

Original submissions are solicited from representatives of both 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
- Model-based test coverage metrics
- Automatic domain/partition analysis
- Combination of formal verification and testing
- Test oracle construction techniques
- Scenario based test generation
- Language/technology support for testing, domain-specific testing languages
- Formalisms and theories of model-based testing
- Using high-level models (in SysML, AADL, etc.) for testing
- Runtime verification and model-based testing
- Application of model checking techniques in testing
- Use of constraint solving and constraint inference in testing
- Game-theoretic and probabilistic approaches to test selection
- Model-based security testing, testing of other non-functional requirements
- Model-based testing of hybrid and cyber-physical systems
- Model-based testing of product lines
- Problems and achievements of model-based testing in industry

Important Dates

Paper submissions – Jan 31, 2017
Notification of acceptance – Feb 21, 2017
Final versions – February 28, 2017
Workshop – April 23, 2017

Paper Submission

RESEARCH PAPERS should be limited to 15 pages in EPTCS format (, describing significant research results based on sound theory or experimental assessment.

We also solicit INDUSTRY EXPERIENCE PAPERS and PRESENTATIONS on the use of model-based testing in industrial environments and analysis of results obtained. Industrial papers should be limited to 15 pages. Industrial presentations may be submitted as annotations only.

Paper submission is now open at

Program Committee Co-chairs

Holger Schlingloff (Fraunhofer FOKUS and Humboldt-Universität, Berlin, Germany)
Stephan Weißleder (Thales Transportation Systems GmbH, Berlin, Germany)
Florian Prester ( gmbh, Röttenbach, Germany)

Program Committee

Bernhard Aichernig (Graz University of Technology, Austria)
Martin Beisser (, Germany) (invited)
Jonathan Bowen (London South Bank University, UK)
John Derrick (University of Sheffield, UK)
Lars Frantzen (Radboud University Nijmegen, Netherlands)
Jurgen Großmann (Fraunhofer FOKUS, Germany)
Philipp Helle (EADS, Germany)
Alexander S. Kossatchev (ISP RAS, Russia)
Anne Kramer (, Germany)
Victor Kuliamin (ISP RAS, Russia)
Hartmut Lackner (Model Engineering Solutions, Germany)
Bruno Legeard (Smartesting, France)
Bruno Marre (CEA LIST, France)
Armin Metzger (ASQF, Germany) (invited)
Roman Nagy (BMW, Germany)
Nikolay Pakulin (ISP RAS, Russia)
Jan Peleska (University of Bremen, Germany)
Alexandre Petrenko (Computer Research Institute of Montreal, Canada)
Fabien Peureux (University of Franche-Comté, France)
Julien Schmaltz (Eindhoven University of Technology, The Netherlands)
Mark-Florian Wendland (Fraunhofer FOKUS, Germany)
Nina Yevtushenko (Tomsk State University, Russia)