MBT 2015 - Model-Based Testing (MBT)

MBT 2015 is devoted to model-based testing of both software and hardware, and new trends in fusion of testing with other model-based verification technologies.
Model-based testing uses models that describe the behavior of the system under consideration to guide test selection and test results evaluation. 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: testing with such models allows measuring the degree of the product's conformance with the model. The intent of this workshop is to bring together researchers and practitioners who use different kinds of models for testing to discuss the state of the art in theory, applications, tools, and industrialization of MBT.
Organisers:
Alexander K. Petrenko, Institute for System Programming Russian Academy of Sciences, Moscow, Russia (petrenko-AT-ispras.ru)
Holger Schlingloff, Fraunhofer FOKUS and Humboldt-Universität, Berlin, Germany (hs-AT-informatik.hu-berlin.de)
Nikolay Pakulin, Institute for System Programming Russian Academy of Sciences, Moscow, Russia (npak-AT-ispras.ru)