A-MOST 2016 - 12th Workshop on Advances in Model Based Testing

A-MOST 2016 will focus on three main areas: the models used in MBT; the processes, techniques, and tools that support MBT; and evaluation. Here, evaluation includes the evaluation of software using MBT and the evaluation of MBT. These areas can be further broken down into the following topics:
MODELS
Models for component, integration and system testing
Product-line models
(Hybrid) embedded system models
Systems-of-systems models
Architectural models
Models for orchestration and choreography of services
Executable models, simulation and model transformations
Environment and use models
Non-functional models
Models for variant-rich and highly configurable systems
PROCESSES, METHODS AND TOOLS
Model-based test generation algorithms
Application of model checking techniques in model-based testing
Tracing from requirements model to test models
Performance and predictability of model-driven development
Test model evolution during the software life-cycle
Risk-based approaches for MBT
Generation of testing-infrastructures from models
Combinatorial approaches for MBT
Statistical testing
EXPERIENCES AND EVALUATION
Non-functional MBT
Estimating dependability (e.g., security, safety, reliability) using MBT
Coverage metrics and measurements for structural and (non-)functional models
Cost of testing, economic impact of MBT
Empirical validation, experiences, case studies using MBT