9th Workshop on Model Based Testing (MBT 2014)

MBT 2014

9th Workshop on Model-Based Testing
April 6, 2014, Grenoble, France

Website: http://mbt-workshop.org/

Satellite workshop of ETAPS 2014


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.

The workshop proceedings will appear in EPTCS.


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


Paper submissions: December 16, 2012
Notification of acceptance: January 24, 2013
Final versions: February 8, 2013


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 here


Alexander K. Petrenko (ISP RAS, Russia), co-chair
Holger Schlingloff (Fraunhofer FOKUS and Humboldt-Universitat, Germany), co-chair

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 (Universitat des Saarlandes, Germany)
Lars Frantzen (Radboud University Nijmegen , Netherlands)
Wolfgang Grieskamp (Google, USA)
Ziyad Hanna (Jasper Design Automation, USA)
Philipp Helle (EADS, Germany)
Antti Huima (Conformiq Software Ltd., Finland)
Mika Katara (Tampere University of Technology, Finland)
Alexander S. Kossatchev (ISP RAS, Russia)
Bruno Legeard (Smartesting, France)
Bruno Marre (CEA LIST, France)
Alexandre Petrenko (Computer Research Institute of Montreal, Canada)
Fabien Peureux (University of Franche-Comte, France)
Julien Schmaltz (Open University of The Netherlands, Netherlands)
Nikolai Tillmann (Microsoft Research, USA)
Nina Yevtushenko (Tomsk State University, Russia)
Nikolay Pakulin (ISP RAS, Russia)

Page 1 of 2, totaling 2 entries