A-MOST: Advances in Model-Based Software Testing

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
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 : 2019

Abstract
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):
• The models used in MBT
o Models for component, integration and system testing
o Test models for systems of systems, non-deterministic systems, real-time embedded systems, and hybrid (continuous/discrete) systems
o Models for non-functional aspects (e.g., security, safety, reliability)
o Environment and usage models
o Formal, semi-formal, and restricted-natural-language models
• The processes, techniques, and tools that support MBT
o Algorithms for automatic test case generation from models
o Coverage criteria to guide and assess test case generation
o Application of model checking techniques for test case generation
o Application of machine learning techniques to automatically derive, augment and evolve test models
o Model-based mutation testing
o Generation of testing-infrastructures from models
o Combinatorial approaches for model-based statistical testing
o Integrated model-based approaches for simulation, testing, and run-time monitoring
o Traceability in MBT
o Test model evolution during the software lifecycle
o Integration of MBT in agile and DevOps contexts
• Evaluation (evaluation of software using MBT and evaluation of MBT)
o Performance measures in MBT
o Cost of testing and economic impact of MBT
o Empirical validation, experiences, and case studies using MBT

Submission format
Full and short papers
Papers should not exceed 8 pages (including all text, figures, references) for full papers or 4 pages for short experience and position papers. 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.
Communication abstracts
We also solicit communication abstracts (talk proposals within 1 page) this year, which may be based on already published papers in relevant well- known venues (conferences or journals) or purely industrial-oriented experience. These will be selected based on their relevance and quality. 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 titles and abstracts will be mentioned in the workshop summary.

Important dates
Paper submission: January 12th, 2019
Author notification: February 9th, 2019
Camera-ready: February 15th, 2019
Venue: April 22nd, 2019

Organising committee
Angelo Gargantini, U. of Bergamo, Italy
João Pascoal Faria, U. of Porto, Portugal
Shuai Wang, Testify AS, Norway

Program committee

To be confirmed

Steering committee
Rob Hierons, Brunel U., UK
Manuel Núñez, Complutense U. of Madrid, Spain
Alexander Pretschner, TU München, Germany
 

Related Resources

SOFT 2019   5th International Conference on Software Engineering
SA-TTA @SAC 2019   The 7th track on Software Architecture: Theory, Technology, and Applications (SA-TTA) at the 34rd ACM/SIGAPP Symposium On Applied Computing (SAC 2019)
CTISC-Ei,CPCI,Scopus 2019   2019 International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2019)
ICAETT 2019   International Conference on Advances in Emerging Trends and Technologies
ACM--ICCAI--Ei Compendex, Scopus 2019   ACM--2019 5th International Conference on Computing and Artificial Intelligence (ICCAI 2019)--Ei Compendex, Scopus
ATVA 2019   International Symposium on Automated Technology for Verification and Analysis
CSECI 2019-Ei Compendex & Scopus 2019   2019 International Conference on Software Engineering and Computational Intelligence (CSECI 2019)
INTUITESTBEDS 2019   INTUITESTBEDS WORKSHOP
QRS 2019   The 19th IEEE International Conference on Software Quality, Reliability, and Security
ESEM 2019   Empirical Software Engineering and Measurement