A-MOST: Advances in Model-Based Software Testing



Past:   Proceedings on DBLP

Future:  Post a CFP for 2019 or later   |   Invite the Organizers Email


All CFPs on WikiCFP

Event When Where Deadline
A-MOST 2018 Advances in Model-Based Software Testing
Apr 13, 2018 - Apr 13, 2018 Västerås, Sweden Jan 12, 2018
A-MOST 2017 Advances in Model-Based Software Testing
Mar 17, 2017 - Mar 17, 2017 Tokyo, Japan Dec 11, 2016
AMOST 2016 A-MOST 2016 : The 12th Workshop on Advances in Model Based Testing
Apr 11, 2016 - Apr 11, 2016 Chicago, USA Jan 15, 2016
A-MOST 2015 The 11th Workshop on Advances in Model Based Testing
Apr 17, 2015 - Apr 17, 2015 Graz, Austria Jan 30, 2015
A-MOST 2013 9th Workshop on Advances in Model Based Testing
Mar 22, 2013 - Mar 22, 2013 Luxembourg Jan 7, 2013
A-MOST 2012 The 8th Workshop on Advances in Model Based Testing
Apr 17, 2012 - Apr 17, 2012 Montreal, Quebec, Canada Jan 31, 2012
A-MOST 2011 7th Workshop on Advances in Model Based Testing
Mar 21, 2011 - Mar 21, 2011 Berlin Jan 7, 2011
A-MOST 2008 4th Workshop on Advances in Model Based Testing
Apr 9, 2008 - Apr 11, 2008 Lillehammer, Norway Jan 9, 2008

Present CFP : 2018

14th Workshop on Advances in Model Based Testing (A-MOST) @ICST 2018, Västerås, Sweden



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. A-MOST has proven to be a successful workshop that brings researchers and practitioners together discussing formal and semi-formal approaches, specification formats and notations that contribute to simplifying complex aspects of a system. The goal is to bring researchers and practitioners together to discuss state of the art, practice and future prospects in MBT.

Important dates

Paper submission: Jan. 12th, 2018
Author notification: Feb. 19th, 2018
Camera ready: Feb. 28th, 2018

Workshop date: Apr. 13th, 2018

List of Topics


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


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


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

Full and short papers

All papers must be original and not simultaneously submitted to another journal or conference. Papers should not exceed 10 pages (including all text, figures, references and appendices) for full papers or 6 pages for short experience and position papers. Each submitted paper must conform to the IEEE two-column publication format (http://www.ieee.org/conferences_events/conferences/publishing/templates.html). Papers will be reviewed by at least three members from the program committee. Accepted papers will be published in the IEEE Digital Library.

Abstracts from already published papers

This year we also solicit abstracts from already published papers in relevant well known venues (conferences or journals). These will be selected based on the relevance, quality and importance of the paper. Selected abstracts will be presented and discussed in the workshop, similar to the regular papers, but will not be included in the proceedings. Though, their title and abstracts will be mentioned in the workshop summary.

Organizing committee

Paolo Arcaini, Charles University, Czech Republic
Xavier Devroey, TU Delft, The Netherlands
João Pascoal Faria, University of Porto, Portugal

Related Resources

TheWebConf 2018   The Web Conference (The International World Wide Web Conference - WWW2018)
ISSTA 2018   International Symposium on Software Testing and Analysis
ICASSP 2018   IEEE International Conference on Acoustics, Speech and Signal Processing
IPMU 2018   17th Information Processing and Management of Uncertainty in Knowledge-Based Systems Conference
VVIoT 2018   International Workshop on Verification and Validation of Internet of Things
ITEQS 2018   2nd International Workshop on Testing Extra-Functional Properties and Quality Characteristics of Software Systems
CAiSE 2018   CfP: CAiSE 2018 (30th International Conference on Advanced Information Systems Engineering)
INFOCOM'18-SCAN 2018   The 3rd IEEE INFOCOM Workshop on Advances in Software Defined and Context‐Aware Cognitive Networks 2018 (IEEE SCAN 2018)
ICACDS 2018   Second Springer International Conference on Advances in Computing and Data Sciences
ICSRS - Ei 2017   2017 2nd International Conference on System Reliability and Science (ICSRS 2017)--IEEE, Ei Compendex and Scopus