MBT 2016 - 11th Workshop on Model-Based Testing

MBT 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.
Organizers: Alexander K. Petrenko, Holger Schlingloff, Nikolay Pakulin