IMPACT SCORE JOURNAL RANKING CONFERENCE RANKING Conferences Journals Workshops Seminars SYMPOSIUMS MEETINGS BLOG LaTeX 5G Tutorial Free Tools
A-MOST 2019 : Advances in Model-Based Software Testing Conference Series : Advances in Model-Based Software Testing  
A-MOST 2019 : Advances in Model-Based Software Testing Conference Series : Advances in Model-Based Software Testing  

A-MOST 2019 : Advances in Model-Based Software Testing Conference Series : Advances in Model-Based Software Testing  

Xian, China
Event Date: April 22, 2019 - April 22, 2019
Submission Deadline: January 12, 2019
Notification of Acceptance: February 09, 2019
Camera Ready Version Due: February 15, 2019




Call for Papers

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



Credits and Sources

[1] A-MOST 2019 : Advances in Model-Based Software Testing Conference Series : Advances in Model-Based Software Testing  


Check other Conferences, Workshops, Seminars, and Events


OTHER SOFTWARE TESTING EVENTS

TestEd 2024: 3rd Software Testing Education workshop
Toronto, Canada
May 28, 2024
ICST 2024: International Conference on Software Testing, Verification, and Validation
Toronto, Canada
May 27, 2024
InSTA 2024: 11th International Workshop on Software Test Architecture
Tronto, canada
May 28, 2024
SOENG 2024: 10th International Conference on Software Engineering
Sydney, Australia
Jun 22, 2024
DMSE 2024: 5th International Conference on Data Mining and Software Engineering
London, United Kingdom
Jul 27, 2024
SHOW ALL

OTHER MODELS EVENTS

MAS-GAIN 2025: 1st International Workshop on Multi-Agent Systems using Generative Artificial INtelligence for Automated Software Engineering
Seoul, South Korea
Nov 16, 2025
AIMS 2025: 2025 Artificial intelligence Models and Systems Symposium
Vienna, Austria
Nov 25, 2025
FOSAD 2025: 24th Summerschool on Foundations of Security Analysis and Design
Bertinoro, Italy
Aug 25, 2025
LUHME 2025: 2nd Workshop on Language Understanding in the Human-Machine Era (LUHME)
ECAI 2025
Oct 26, 2025
HeteroPar 2025: 23rd International Workshop on Algorithms, Models and Tools for Parallel Computing on Heterogeneous Platforms
Dresden, Germany
Aug 26, 2025
SHOW ALL

OTHER SOFTWARE ENGINEERING EVENTS

ChapelCon 2025: The Chapel Event of the Year
Virtual
Oct 7, 2025
ICMIP--EI 2026: 2026 11th International Conference on Multimedia and Image Processing (ICMIP 2026)
Sapporo, Japan
Apr 25, 2026
ICSIE 2026: 2026 14th International Conference on Software and Information Engineering (ICSIE 2026)
Himeji, Japan
Jan 16, 2026
ICNT--EI 2026: 2026 8th International Conference on Network Technology (ICNT 2026)
Himeji, Japan
Jan 16, 2026
ICoSSE 2026: 2026 9th International Conference on Software and System Engineering (ICoSSE 2026)
Lyon, France
Apr 13, 2026
SHOW ALL