A-MOST 2020
Sat 24 Oct 2020 Porto, Portugal
co-located with ICST 2020

A-MOST will be virtual

A-MOST will be an online-only event and take place on Saturday 24th October 2020. We will use clowdr and zoom channels will be available from clowdr.

Please connect to:


The workshop will be held in the Porto (virtual) room: https://icst2020.clowdr.org/live/now/Porto

16th Workshop on Advances in Model Based Testing (A-MOST 2020)

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 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
  • Machine-learning based models


  • 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
  • Non-functional MBT
  • Derivation of test models by reverse engineering and machine learning


  • 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


  • The role of MBT in automata learning (model inference, model mining)
  • Generating training data for machine learning
  • Model-based security testing
  • Statistical model checking
You're viewing the program in a time zone which is different from your device's time zone -

Sat 24 Oct
Times are displayed in time zone: Greenwich Mean Time : Lisbon

09:00 - 10:30: Session IA-MOST at Porto
Chair(s): Bernhard AichernigGraz University of Technology

A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details.

09:00 - 09:10
Day opening
09:10 - 10:30
Keynote: Why models?
I: Ana PaivaFaculty of Engineering of the University of Porto
11:00 - 12:30: Session IIA-MOST at Porto
Chair(s): Angelo GargantiniUniversity of Bergamo

A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details.

11:00 - 11:30
A Tool for the Automatic Generation of Test Cases and Oracles for Simulation Models Based on Functional Requirements
Aitor ArrietaMondragon Goi Eskola Politeknikoa, Joseba Andoni AgirreUniversidad Mondragon , Goiuria SagarduiUniversity of Mondragon
Link to publication DOI
11:30 - 12:00
A Model-Based Security Testing Approach for Automotive Over-The-Air Updates
Shahid MahmoodCoventry University , Alexy FouilladeEcole superieure d’electronique de l’Ouest, Hoang Nga NguyenCoventry University , Siraj Ahmed ShaikhCoventry University, Coventry, UK
Link to publication DOI
12:00 - 12:30
Ontology-based Testing: An Emerging Paradigm for Modeling and Testing Systems and Software
Franz WotawaTechnische Universitaet Graz, Josip BozicGraz University of Technology (Alumnus), Yihao LiInstitute of Technology, Graz University of Technology
Link to publication DOI
14:00 - 15:30: Session IIIA-MOST at Porto
Chair(s): Raluca LefticaruUniversity of Bradford

A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details.

14:00 - 14:30
Using tabular notation to support Model Based Testing
Rachid KherraziAkka Technologies
Link to publication DOI
14:30 - 15:00
Model-Based Testing for MAPE-K adaptation control loops
Paolo ArcainiNational Institute of Informatics , Raffaela MirandolaPolitecnico di Milano , Elvinia RiccobeneComputer Science Dept., University of Milan, Patrizia ScandurraUniversity of Bergamo, Italy
Link to publication DOI
15:00 - 15:30
Conformance Testing in UPPAAL: A diabolic approach
Florian LorberAalborg University, Emil Jørgensen NjorAalborg University, Nikolaj Isgård SchmidtAalborg University, Sebastian Reidar PetersenAalborg University
Link to publication DOI
16:00 - 17:30: Session IVA-MOST at Porto
Chair(s): Florian LorberAalborg University

A-MOST2020 is held as a virtual workshop via Zoom. Contact amost2020@easychair.org for the details.

16:00 - 16:30
Model-Based Testing of Read Only Graph Queries
Leen LambersHasso-Plattner-Institut, Universität Potsdam , Sven SchneiderHasso-Plattner-Institut, Universität Potsdam , Marcel WeisgutHasso-Plattner-Institut, Universität Potsdam
Link to publication DOI
16:30 - 17:00
Optimizing decision making in concolic execution using reinforcement learning
Ciprian PaduraruUniversity of Bucharest , Alin StefanescuUniversity of Bucharest , Miruna Gabriela PaduraruUniversity of Bucharest
Link to publication DOI
17:00 - 17:30
Day closing


Full and Short Papers

Papers should not exceed 8 pages for full papers or 4 pages for short experience and position papers, excluding references - but it is not a strict limit, if you need more space contact the chairs. Each submitted paper must conform to the IEEE two-column publication format. Papers will be reviewed by at least three members from the program committee. Accepted papers will be published in the IEEE Digital Library.

Journal First (new)

The aim of journal-first papers in category is to further enrich the program of A-MOST, as well as to provide an overall more flexible path to publication and dissemination of original research in model-based testing. The published journal paper must adhere to the following three criteria:

  • It should be clearly within the scope of the workshop.
  • It should be recent: it should have been accepted and made publicly available in a journal (online or in print) by 1 January 2017 or more recently.
  • It has not been presented at, and is not under consideration for, journal-first tracks of other conferences or workshops.

The 2-page submission should provide a concise summary of the published journal paper.

Journal-first submissions must be marked as such in the submission’s title, and must explicitly include full bibliographic details (including a DOI) of the journal publication they are based on. Submissions will be judged on the basis of the above criteria, but also considering how well they would complement the workshop’s technical program.

Submission site