22th Workshop on Advances in Model Based Testing (A-MOST 2026)

12 June 2026, Västerås, Sweden

Co-located with the 30th Ada-Europe International Conference on Reliable Software Technologies (AEiC 2026), June 9-12

The 22th Workshop on Advances in Model Based Testing (A-MOST 2026), is this year for the first time co-located with the International Conference on Reliable Software Technologies (AEiC 2026). It will be a physical event, taking place in June 2026. We are looking forward to great presentations and discussions with this new venue!

Topics of Interest

The increasing complexity, criticality and pervasiveness 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 (for automatic test case generation) more deployable and useful for industry than ever. Following the success of previous editions, the goal of the A-MOST workshop is to bring researchers and practitioners together to discuss state of the art, practice and future prospects in MBT. Topics and sub-topics (not exhaustive):

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
  • Models with non-functional properties
  • Models for variant-rich and highly configurable systems
  • Machine-learning based models

PROCESSES, METHODS AND TOOLS

  • Model-based test generation algorithms
  • Application of model checking techniques to MBT
  • Symbolic execution-based techniques
  • Tracing from requirements models to test models
  • Performance and predictability of MBT
  • 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
  • MBT of non-functional properties
  • Derivation of test models by reverse engineering and machine learning

EXPERIENCES AND EVALUATION

  • 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, industrial case studies using MBT

NOVEL APPLICATIONS

  • The role of MBT in automata learning (model inference, model mining)
  • Generating training data for machine learning
  • Model-based security testing
  • MBT using statistical model checking

Submission Guidelines

Interested authors shall submit their contribution via Easy Chair, (https://easychair.org/conferences/?conf=22thamost).

Submission deadline is 20 May 2026 (extended)