ICST 2023
Sun 16 - Thu 20 April 2023 Dublin, Ireland

The 19th Workshop on Advances in Model Based Testing (A-MOST 2023), co-located with the 16th IEEE International Conference on Software Testing, Verification and Validation (ICST 2023), will be an physical event and will take place in April 2023.

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

Thu 20 Apr

Displayed time zone: Dublin change

09:00 - 10:30
Morning Session 1A-MOST at Hanover
Chair(s): Cristina Seceleanu Mälardalen University
09:00
15m
Day opening
Welcome and Opening Message A-MOST 23
A-MOST
Florian Lorber Aalborg University, Cristina Seceleanu Mälardalen University, Uraz Cengiz Türker Lancaster University (UK)
09:15
75m
Keynote
Keynote: Principles of Model-Based Testing
A-MOST
Jan Tretmans Radboud University Nijmegen, TNO-ESI
10:30 - 11:00
Coffee breakSocial
10:30
30m
Coffee break
Break
Social

11:00 - 12:30
Morning Session 2A-MOST at Hanover
Chair(s): Jan Tretmans Radboud University Nijmegen, TNO-ESI
11:00
30m
Talk
An Experiment in Requirements Engineering and Testing using EARS Notation for PLC Systems
A-MOST
Mikael Ebrahimi Salari Mälardalen University, Eduard Paul Enoiu Mälardalen University, Wasif Afzal Mälardalen University, Cristina Seceleanu Mälardalen University
11:30
30m
Talk
Model-Based Policy Synthesis and Test-Case Generation for Autonomous Systems
A-MOST
Rong Gu Mälardalen University, Eduard Paul Enoiu Mälardalen University
12:00
30m
Talk
We Tried and Failed: An Experience Report on a Collaborative Workflow for GUI-based Testing
A-MOST
Andreas Bauer Blekinge Institute of Technology, SERL Sweden, Emil Alégroth Blekinge Institute of Technology
12:30 - 14:00
LunchSocial
12:30
90m
Lunch
Lunch
Social

14:00 - 15:30
Afternoon Session 1A-MOST at Hanover
Chair(s): Cristina Seceleanu Mälardalen University
14:00
30m
Talk
From BDD Scenarios to Test Case Generation
A-MOST
Tannaz Zameni University of Twente, Petra van den Bos University of Twente, The Netherlands, Jan Tretmans Radboud University Nijmegen, TNO-ESI, Johan Foederer Topic Embedded Systems, Arend Rensink University of Twente, The Netherlands
14:30
30m
Talk
ADAS Verification in Co-Simulation: Towards a Meta-Model for Defining Test Scenarios
A-MOST
Francesco Basciani University of L'Aquila, Vittorio Cortellessa University of L'Aquila, Sergio Di Martino Università degli Studi di Napoli Federico II, Dario Di Nucci University of Salerno, Daniele Di Pompeo University of L'Aquila, Carmine Gravino University of Salerno, Luigi Libero Lucio Starace Università degli Studi di Napoli Federico II
15:00
30m
Panel
Discussion: "Testing Autonomous Systems: Some Immediate Questions"
A-MOST

15:30 - 16:00
Coffee breakSocial
15:30
30m
Coffee break
Break
Social

16:00 - 17:30
Afternoon Session 2A-MOST at Hanover
Chair(s): Florian Lorber Aalborg University
16:00
30m
Talk
Improving Model Learning by Inferring Separating Sequences from Traces
A-MOST
Rafael Braz ICMC/USP, Adenilso Simão University of São Paulo, Roland Groz LIG/UGA, Catherine Oriat LIG/UGA
16:30
30m
Talk
MUPPAAL: Reducing and Removing Equivalent and Duplicate Mutants in UPPAAL
A-MOST
Jaime Cuartas Universidad del Valle, Jesus Aranda Universidad del Valle, Maxime Cordy University of Luxembourg, Luxembourg, James Ortiz Université de Namur, Gilles Perrouin Fonds de la Recherche Scientifique - FNRS & University of Namur, Pierre Yves Schobbens University of Namur
17:00
15m
Day closing
Closing A-MOST 23 and Welcoming A-MOST 24!
A-MOST
Florian Lorber Aalborg University, Cristina Seceleanu Mälardalen University, Uraz Cengiz Türker Lancaster University (UK)

Call for Papers

Paper deadline extended

To give a bit of extra time to authors, we decided to extend the deadline by one week. In order to give us some time for planning the review process, please submit an initial version or an abstract by January 27.

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=amost2023

Questions? Use the A-MOST contact form.