ICST 2024
Mon 27 - Fri 31 May 2024 Canada

The 20th Workshop on Advances in Model Based Testing (A-MOST 2024), co-located with the 17th IEEE International Conference on Software Testing, Verification and Validation (ICST 2024), will be a physical event and will take place in May 2024.

Topics of interest

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
  • Models with non-functional properties
  • 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
  • MBT of non-functional properties
  • 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, industrial 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
  • MBT using statistical model checking
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 27 May

Displayed time zone: Eastern Time (US & Canada) change

08:00 - 09:00
Breakfast & RegistrationSocial
08:00
60m
Other
Breakfast & Registration
Social

09:00 - 10:30
Session 1: shared with NEXTAA-MOST at Room 1
11:00 - 12:30
Session 2A-MOST at Room 1
Chair(s): Florian Lorber Silicon Austria Labs
11:00
30m
Day opening
Welcome to 20 Years of A-MOST
A-MOST
Florian Lorber Silicon Austria Labs, Cristina Seceleanu Mälardalen University, Martin Tappler TU Wien, Austria
11:30
30m
Full-paper
Testing the Evolution of Feature Models with Specific Combinatorial Tests
A-MOST
Andrea Bombarda University of Bergamo, Silvia Bonfanti University of Bergamo, Angelo Gargantini University of Bergamo
File Attached
12:00
30m
Full-paper
Annotating Control-Flow Graphs for Formalized Test Coverage Criteria
A-MOST
Sean Kauffman Queen's University, Canada, Carlos Moreno , Sebastian Fischmeister University of Waterloo, Canada
14:00 - 15:30
Session 3A-MOST at Room 1
Chair(s): Cristina Seceleanu Mälardalen University
14:00
30m
Full-paper
Active Model Learning for Software Interrogation and Diagnosis
A-MOST
Adam Porter University of Maryland, alan Karr
14:30
30m
Short-paper
Active Model Learning of Git Version Control System
A-MOST
Edi Muskardin , Tamim Burgstaller , Martin Tappler TU Wien, Austria, Bernhard Aichernig Graz University of Technology
15:00
30m
Full-paper
Bridging the Gap Between Models in RL: Test Models vs. Neural Networks
A-MOST
Martin Tappler TU Wien, Austria, Florian Lorber Silicon Austria Labs
16:00 - 17:30
Session 4A-MOST at Room 1
Chair(s): Martin Tappler TU Wien, Austria
16:00
30m
Short-paper
Coverage measurement in model-based testing of web applications: Tool support and an industrial experience report
A-MOST
16:30
30m
Short-paper
Modeling and Safety Analysis of Autonomous Underwater Vehicles Behaviors
A-MOST
Sergio Quijano IT University of Copenhagen, Mahsa Varshosaz IT University of Copenhagen, Denmark, Andrzej Wąsowski IT University of Copenhagen, Denmark
17:00
30m
Full-paper
Optimizing Model-based Generated Tests: Leveraging Machine Learning for Test Reduction
A-MOST
Muhammad Nouman Zafar Malardalen University, Wasif Afzal Mälardalen University, Eduard Paul Enoiu Mälardalen University, Zulqarnain Haider , Inderjeet Singh Alstom

Call for Papers

We invite submissions of full-length papers that describe new research, tools, technologies, and industry experience, as well as position papers and journal first papers.

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.

Submission site

https://easychair.org/conferences/?conf=ieeeicst24workshops

Questions? Use the A-MOST contact form.