A-MOST 2015 - 12th Workshop on Advances in Model Based Testing (A-MOST 2015)

The increasing complexity of software results in new challenges for testing. Model Based Testing (MBT) continues to be an important research area, where new approaches, methods and tools make MBT techniques more deployable and useful for industry than ever. Models and different abstractions can ease comprehension of a complex system and ease test generation and automation. A-MOST 2015 will bring together researchers and practitioners interested in the topic of Model Based Testing.
The use of models for designing and testing software is currently one of the most salient industrial trends with significant impact on the development and testing processes. Model-based tools and methods from have been successfully applied and continue to converge into comprehensive approaches to software and system engineering. The area encompass models derived from object-oriented software engineering, formal methods, and other mathematical and engineering disciplines.