ICST 2021
Mon 12 - Fri 16 April 2021

The 17th Workshop on Advances in Model Based Testing (A-MOST 2021), co-located with the 14th IEEE International Conference on Software Testing, Verification and Validation (ICST 2021), will be an online event and will take place in April 2021.

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 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 - change time zone

Mon 12 Apr
Times are displayed in time zone: Brasilia, Distrito Federal, Brazil change

09:00 - 09:15
Welcome and Opening MessageA-MOST at Maracaípe
Chair(s): Raluca LefticaruUniversity of Bradford
Day opening
Welcome and Opening Message
09:15 - 10:15
Keynote TalkA-MOST at Maracaípe
Chair(s): Raluca LefticaruUniversity of Bradford
Nobody cares about models, but everybody wants automation
Jeff OffuttGeorge Mason University
11:15 - 11:45
A-MOST IIA-MOST at Maracaípe
Chair(s): Uraz Cengiz TürkerUniversity of Leicester, UK
Process mining on a robotic mechanism
13:00 - 13:30
A-MOST IIIA-MOST at Maracaípe
Chair(s): Uraz Cengiz TürkerUniversity of Leicester, UK
Test Sequence Generation with Cayley Graphs
Sylvain HalléUniversité du Québec à Chicoutimi, Raphael KhouryUniversité du Québec à Chicoutimi, Canada
13:30 - 14:30
Keynote TalkA-MOST at Maracaípe
Chair(s): Uraz Cengiz TürkerUniversity of Leicester, UK
Model-Based Testing and Model-Learning for Variability-Intensive Systems
Mohammad MousaviUniversity of Leicester, UK
15:00 - 15:45
Invited TutorialA-MOST at Maracaípe
Chair(s): Florian LorberAalborg University
UPPAAL for Test Case Generation
Marius MikucionisAalborg University
15:45 - 16:15
A-MOST IVA-MOST at Maracaípe
Chair(s): Florian LorberAalborg University
A Model-Based Test Script Generation Framework for Embedded Software
Wasif AfzalMälardalen University, Eduard Paul EnoiuMälardalen University
16:15 - 16:30
ClosingA-MOST at Maracaípe
Chair(s): Florian LorberAalborg University
Day closing

Call for Contributions

We invite submissions of full-length papers that describe new research, tools, technologies, and industry experience, as well as position papers and journal first papers.

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

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


  • 1st A-MOST Workshop, co-located with ICSE’05, St. Louis, Missouri – USA, May 15-16, 2005, Proceedings
  • 2nd A-MOST Workshop, co-located with ISSRE’06, Raleigh, North Carolina – USA, November 7th, 2006, A-MOST’06
  • 3rd A-MOST Workshop, co-located with ISSTA 2007, London, July 9th, 2007, Proceedings
  • 4th A-MOST Workshop, co-located with ICST 2008, Lillehammer, Norway, April 9th, 2008, Proceedings
  • 5th A-MOST Workshop, co-located with ICST 2009, Denver, Colorado, USA, April 1st, 2009, Proceedings
  • 6th A-MOST Workshop, co-located with ICST 2010, Paris, France, April 7th, 2010, Proceedings
  • 7th A-MOST Workshop, co-located with ICST 2011, Berlin, Germany, March 21st, 2011, Proceedings
  • 8th A-MOST Workshop, co-located with ICST 2012, Montréal, Canada, April 17th, 2012, A-MOST 2012
  • 9th A-MOST Workshop, co-located with ICST 2013, Luxembourg, March 22nd, 2013, A-MOST 2013
  • 10th A-MOST Workshop, co-located with ICST 2014, Cleveland, Ohio, USA, April 4th, 2014, A-MOST 2014
  • 11th A-MOST Workshop, co-located with ICST 2015, Graz, Austria, April 17th, 2015, A-MOST 2015
  • 12th A-MOST Workshop, co-located with ICST 2016, Chicago, Illinois, USA, April 11th, 2016, A-MOST 2016
  • 13th A-MOST Workshop, co-located with ICST 2017, Tokyo, Japan, March 17th, 2017, A-MOST 2017
  • 14th A-MOST Workshop, co-located with ICST 2018, Västerås, Sweden, April 13th, 2018, A-MOST 2018
  • 15th A-MOST Workshop, co-located with ICST 2019, Xi’an, China, April 22nd, 2019, A-MOST 2019
  • 16th A-MOST Workshop, co-located with ICST 2020, Porto, Portugal (online), October 24th, 2020, A-MOST 2020
Questions? Use the A-MOST contact form.