A-MOST: Advances in Model-Based Software Testing

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

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

The 12th Workshop on Advances in Model Based Testing (A-MOST’16) Co-located with IEEE International Conference on Software Testing, Verification and Validation (ICST’16)

April 11th, 2016 in Chicago, USA

Workshop Website: https://sites.google.com/site/amostw2016

Important Dates:
Paper submission: January 15, 2016
Author notification: February 29, 2016
Conference date: April 11, 2016


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.

Topics of Interest (not exhaustive):
• The models used in MBT
• The processes, techniques, and tools that support MBT
• Evaluation (i.e., the evaluation of software using MBT and the evaluation of MBT) 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 and simulation
• Environment and use models
• Non-functional models and quantitative MBT
• Model-based test generation algorithms
• Application of model checking techniques in model-based testing
• Tracing from requirements model to test models
• Performance and predictability of model-driven development
• Test model evolution during the software lifecycle
• Generation of testing-infrastructures from models
• Combinatorial approaches for MBT Statistical testing
• 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 paper:
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. We also solicit abstracts from already published papers in relevant venues (conferences or journals). In that case the abstracts will be mentioned in the workshop summary in the proceedings. 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.

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.

Special Issue:
Authors of best full length papers of the workshop will be invited to extend their research in a peer-reviewed open theme issue on Model-based Testing published by the SoSyM journal (Springer). More details to be announced soon.

Program Chairs:
Mike Papadakis, University of Luxembourg, Luxembourg
Gilles Perrouin, University of Namur, Belgium
Shaukat Ali, Simula Research Lab, Norway
 

Related Resources

ST: Model-Based Testing 2016   Theme issue on Model-Based Testing : Software and Systems Modeling Journal (SoSyM)
ICML 2017   34rd International Conference on Machine Learning
ICMLSC - ACM 2017   2017 International Conference on Machine Learning and Soft Computing (ICMLSC 2017)--Ei, ISI and Scopus
ModComp 2016   3rd International Workshop on Interplay of Model-Driven and Component-Based Software Engineering @ MoDELS 2016
IEEE ICECCT 2017   2017 IEEE International Conference on Electrical, Computer and Communication Technologies
AMARETTO 2017   2nd International Workshop on domAin specific Model-based AppRoaches to vErificaTion and validaTiOn
AsiaCCS 2017   Call for paper: ACM Asia Conference on Computer and Communications Security
SATT - 2016   Software Algorithms, Tools, and Technologies for Model Verification and Validation
iThings 2016   The 9th IEEE International Conference on Internet of Things
COMMitMDE 2016   1st International Workshop on Collaborative Modelling in MDE