The workshop MBT 2017 is devoted to model-based testing of computational systems. Model-based testing uses models describing the required behavior of the system under consideration to guide such efforts as test selection and test 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.
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. MBT 2017 in particular addresses also industrial participants to exchange their ideas about applicability and experiences with model-based testing.