Proceedings Tenth Workshop on Model Based Testing

TL;DR

This workshop focuses on the latest research, tools, and industrial applications of model-based testing for software and hardware, emphasizing validation, error detection, and conformance checking.

Contribution

It consolidates recent advances, practical applications, and industrialization efforts in model-based testing techniques and tools.

Findings

Enhanced methods for test selection and evaluation

Successful industrial case studies demonstrating effectiveness

Identification of challenges and future directions in model-based testing

Abstract

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. 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.