MBT 2015

10th Workshop on Model-Based Testing will be held April 18, 2015, London, UK

Satellite workshop of ETAPS 2015

MBT workshop 2015 celebrates its 10th anniversary. We invite you to join academicians and MBT practitioners to share the vision of the challenges that MBT faces, new directions in model-based verification and testing, and the ways to integrate MBT and advanced verification techniques in engineering and industrial practice.

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.