The 21th Workshop on Advances in Model Based Testing (A-MOST 2025), co-located with the 18th IEEE International Conference on Software Testing, Verification and Validation (ICST 2025), will be a physical event and will take place in March/April 2025.
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
This program is tentative and subject to change.
Mon 31 MarDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:00 - 09:00 | |||
08:00 60mRegistration | Registration Social | ||
09:10 - 10:30 | |||
09:10 80mKeynote | What is the Best Model? - A Discourse on Modeling Paradigms Used in Model-based Testing A-MOST Franz Wotawa Graz University of Technology | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Social | ||
11:00 - 12:20 | |||
11:00 30mTalk | Novel Algorithm to Solve the Constrained Path-based Testing Problem A-MOST Matej Klima Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Marek Miltner Stanford University, Chad Zanocco Stanford University, Gordon Fraser University of Passau, Sebastian Schweikl University of Passau, Patric Feldmeier University of Passau | ||
11:30 30mTalk | CPT Manager: An Open Environment for Constrained Path-based Testing A-MOST Matej Klima Czech Technical University in Prague, Miroslav Bures Czech Technical University, Czechia, Daniel Holotik Czech Technical University in Prague, Maximilian Herczeg Czech Technical University in Prague, Marek Miltner Stanford University, Chad Zanocco Stanford University | ||
12:00 30mTalk | Towards Improving Automated Testing with GraphWalker A-MOST Yavuz Koroglu Graz University of Technology, Mutlu Beyazıt University of Antwerp and Flanders Make vzw, Onur Kilincceker University of Antwerp and Flanders Make vzw, Serge Demeyer University of Antwerp and Flanders Make vzw, Franz Wotawa Technische Universitaet Graz | ||
14:00 - 15:30 | |||
14:00 30mTalk | Automata Learning for React Web Applications A-MOST | ||
14:30 30mTalk | Mutating Skeletons - Learning Timed Automata via Domain Knowledge A-MOST Felix Wallner Graz University of Technology, Institute of Software Technology, Bernhard Aichernig Graz University of Technology, Florian Lorber Silicon Austria Labs, Martin Tappler TU Wien, Austria | ||
15:00 30mTalk | SelfBehave, Generating a Synthetic Behaviour-Driven Development Dataset Using SELF-INSTRUCT A-MOST Manon Galloy NADI, University of Namur, Martin Balfroid NADI, University of Namur, Benoît Vanderose University of Namur, Xavier Devroey University of Namur Pre-print | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Social | ||
16:00 - 17:30 | |||
16:00 30mTalk | Model-based Testing Computer Games: Does It Work? A-MOST Wishnu Prasetya Utrecht University Pre-print | ||
16:30 60mPanel | Discussion on AI and Testing A-MOST | ||
Accepted Papers
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
Keynote
We are delighted to announce that the A-MOST 2025 keynote will be given by Franz Wotawa on
What is the Best Model? - A Discourse on Modeling Paradigms Used in Model-based Testing
Biography of the Keynote Speaker
Franz Wotawa received an M.Sc. in Computer Science (1994) and a Ph.D. in 1996, both from the Vienna University of Technology. He is currently a professor of software engineering at the Graz University of Technology and the head of the Institute of Software Engineering and Artificial Intelligence. His research interests include model-based and qualitative reasoning, theorem proving, mobile robots, verification and validation, and software testing and debugging. Franz Wotawa is the author and co-author of more than 470 peer-reviewed papers for journals, books, conferences, and workshops during his career. He supervised 107 master’s and 43 Ph.D. students. He is a member of the Academia Europaea, the IEEE Computer Society, ACM, the Austrian Computer Society (OCG), the Austrian Society for Artificial Intelligence, and a Senior Member of the AAAI.
| Sat 8 Mar 2025 Camera-Ready Version |
| Mon 3 Feb 2025 Decision Notification |
| Fri 17 Jan 2025 Paper Submission |
Bernhard Aichernig
Graz University of Technology
Austria
Paolo Arcaini
National Institute of Informatics
Japan
Kirill Bogdanov
The University of Sheffield
United Kingdom
Sidney C. Nogueira
Universidade Federal Rural de Pernambuco
Daniele Di Pompeo
University of L'Aquila
Italy
Khaled El-Fakih
American University of Sharjah
United Arab Emirates
Eduard Paul Enoiu
Mälardalen University
Sweden
Florentin Ipate
University of Bucharest
Romania
Raluca Lefticaru
University of Bradford
United Kingdom
Drishti Yadav
University of Luxembourg, Luxembourg
Luxembourg
Petra van den Bos
University of Twente, The Netherlands
Netherlands