ICST 2025
Mon 31 March - Fri 4 April 2025 Naples, Italy
Mon 31 Mar 2025 14:00 - 14:30 at Room A - Model and Machine Learning

Testing is an inevitable part of any software engineering process to ensure quality and reliability. Model-based testing is a successful approach for the automated generation of test cases but requires a model of the system under test. Constructing such models can take time and effort. Hence, there is even a need to automate model generation, where automata learning is a promising approach. In this paper, we address the application of automata learning for React web forms used in a wide range of web applications. We provide information regarding a tool we developed to couple web forms to automata learning for obtaining a model. In addition, we discuss the application of the tool, limitations, challenges, and solutions for reducing the state space and making the approach feasible for practical applications.

Mon 31 Mar

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

14:00 - 15:30
Model and Machine LearningA-MOST at Room A
14:00
30m
Talk
Automata Learning for React Web Applications
A-MOST
Peter Grubelnik Technische Universitaet Graz, Franz Wotawa Technische Universitaet Graz
14:30
30m
Talk
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
30m
Talk
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
:
:
:
: