Invited Speaker

Jan Peleska

Department of Mathematics and Computer Science, University of Bremen, Germany.
Verified Systems International GmbH

Industrial-Strength Model-Based Testing - State of the Art and Current Challenges


09:00-09:10   Opening and Welcome
, photo2
09:10-10:20   Invited Talk
Jan Peleska
Industrial-Strength Model-Based Testing - State of the Art and Current Challenges
paper, presentation, photo1, photo2
10:20-11:00   Isabel Nunes and Filipe Luís
Testing Java Implementations of Algebraic Specifications
paper, presentation, photo
11:00-11:30   Coffee break
11:30-12:00   Mikhail Chupilko and Alexander Kamkin
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
paper, presentation, photo
12:00-12:30   Olga Grinchtein
Model-Based Testing for LTE Radio Base Station
12:30-14:00   Lunch
14:00-14:45   Stephan Weißleder and Hartmut Lackner
Top-Down and Bottom-Up Approach for Model-Based Testing of Product Lines
paper, presentation
14:45-15:30   Neda Noroozi, Mohammad Reza Mousavi and Tim A.C. Willemse
Decomposability in Input Output Conformance Testing
paper, presentation, photo
15:30-16:00   Coffee break
16:00-16:40   Jens Grabowski, Victor Kuliamin, Alain-Georges Vouffo Feudjio, Antal Wu-Hen-Chang and Milan Zoric
Towards the Usage of MBT at ETSI
paper, presentation, photo
16:40-16:55   Closing

Aims and Scope

The workshop is devoted to model-based testing of both software and hardware. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test results 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 software/hardware design and development. Of particular importance are formal models with precise semantics, such as state-based formalisms, algebraic specifications, or other mathematical descriptions of possible system behavior. Testing with such models allows one to detect subtle bugs and at the same time to measure the degree of the product's conformance with the model. Recently model-based testing get particular importance in such domains as security testing and testing of hybrid systems due to their inherent complexity.

Techniques to support model-based testing are drawn from diverse 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.

Workshop History

MBT 2013 is the eighth 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.

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

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
Formalisms and formal models suitable for model-based testing
Using high-level models (in SysML, AADL, etc.) for testing
Runtime verification integrated with 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
Problems and achievements of model-based testing in industry

Important Dates

Paper submissions – December 6 20, 2012 January 3, 2013
Notification of acceptance – January 24, 2013
Final versions – February 8, 2013
Workshop – March 17, 2013

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

Alexander K. Petrenko (Institute for System Programming Russian Academy of Sciences, Russia)
Holger Schlingloff (Fraunhofer FOKUS and Humboldt-Universität, Berlin, Germany)

Program Committee

Bernhard Aichernig (Graz University of Technology, Austria)
Jonathan Bowen (Museophile Limited, UK)
Mirko Conrad (The MathWorks GmbH, Germany)
John Derrick (University of Sheffield, UK)
Bernd Finkbeiner (Universität des Saarlandes, Germany)
Lars Frantzen (Radboud University Nijmegen , Netherlands)
Patrice Godefroid (Microsoft Research, USA)
Wolfgang Grieskamp (Google, USA)
Ziyad Hanna (Jasper Design Automation, USA)
Philipp Helle (EADS, Germany)
Antti Huima (Conformiq Software Ltd., Finland)
Mika Katara (Intel, Finland)
Alexander S. Kossatchev (ISP RAS, Russia)
Andres Kull (Elvior, Estonia)
Bruno Legeard (Smartesting, France)
Bruno Marre (CEA LIST, France)
Laurent Mounier (VERIMAG, France)
Alexandre Petrenko (Computer Research Institute of Montreal, Canada)
Fabien Peureux (University of Franche-Comté, France)
Julien Schmaltz (Open University of The Netherlands, Netherlands)
Nikolai Tillmann (Microsoft Research, USA)
Stephan Weißleder (Fraunhofer FOKUS, Germany )
Nina Yevtushenko (Tomsk State University, Russia)