A-MOST: Advances in Model-Based Software Testing

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
A-MOST 2021 Advances in Model-Based Software Testing
Apr 12, 2021 - Apr 12, 2021 Online Jan 20, 2021
A-MOST 2020 Advances in Model-Based Software Testing
Mar 23, 2020 - Mar 23, 2020 Porto Jan 7, 2020 (Jan 3, 2020)
A-MOST 2019 Advances in Model-Based Software Testing
Apr 22, 2019 - Apr 22, 2019 Xian, China Jan 12, 2019
A-MOST 2018 Advances in Model-Based Software Testing
Apr 13, 2018 - Apr 13, 2018 Västerås, Sweden Jan 19, 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 : 2021

The 17th Workshop on Advances in Model Based Testing (A-MOST 2021) co-located with IEEE International Conference on Software Testing, Verification and Validation (ICST 2021)

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
Non-functional models
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
Non-functional MBT
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, 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
Statistical model checking

## Submission Format

### 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.

Submissions have to be sent through the EasyChair web page:
https://easychair.org/conferences/?conf=amost2021

STEERING COMMITTEE

Robert M. Hierons, The University of Sheffield, UK
Manuel Núñez, Universidad Complutense de Madrid, Spain
Alexander Pretschner, Technische Universität München, Germany

PROGRAM COMMITTEE

Bernhard K. Aichernig, TU Graz, Austria
Anneliese Andrews, University of Denver, US
Paolo Arcaini, National Institute of Informatics, Japan
Kirill Bogdanov, The University of Sheffield, UK
Maxime Cordy, University of Luxembourg, Luxembourg
Xavier Devroey, Delft University of Technology, Netherlands
Khaled El-Fakih, American University of Sharjah, United Arab Emirates
Angelo Gargantini, University of Bergamo, Italy
Florentin Ipate, University of Bucharest, Romania
Zohaib Iqbal, National University of Computer & Emerging Sciences, Pakistan
Yvan Labiche, Carleton University, Canada
Raluca Lefticaru, University of Bradford, UK
Florian Lorber, Aalborg University, Denmark
Mercedes Merayo, Universidad Complutense de Madrid, Spain
Sidney C. Nogueira, Universidade Federal Rural de Pernambuco, Brazil
Ana Paiva, University of Porto, Portugal
Cristina Seceleanu, Mälardalen University, Sweden
Martin Tappler, Schaffhausen Institute of Technology, Switzerland
Uraz Cengiz Turker, University of Leicester, UK
Hüsnü Yenigün, Sabanci University, Turkey

ORGANIZING COMMITTEE

Raluca Lefticaru, University of Bradford, UK
Florian Lorber, Aalborg University, Denmark
Uraz Cengiz Turker, University of Leicester, UK
 

Related Resources

RiE 2021   12th International Conference on Robotics in Education
ICSEA 2021   The Sixteenth International Conference on Software Engineering Advances
AIP Journal - Indexed in Scopus 2021   Journal of Social and Business Informatics - Acta Informatica Pragensia
VALID 2021   The Thirteenth International Conference on Advances in System Testing and Validation Lifecycle
IJCSES 2021   International Journal of Computer Science and Engineering Survey
ISSTA 2021   International Symposium on Software Testing and Analysis
RoSE 2021   3rd International Workshop on Robotic Software Engineering (Extended Deadline)
IWoSR 2021   2021 International Workshop on Service Robotics (IWoSR 2021)
JSS SI on Test Automation 2021   Special Issue on “Test Automation: Trends, Benefits, and Costs” - Journal of Systems and Software (Elsevier)
DMSE 2021   2nd International Conference on Data Mining and Software Engineering