ICGT 2025
Wed 11 - Thu 12 June 2025 Koblenz, Germany
co-located with STAF 2025

Model-based testing (MBT) uses behavioral models of the system to derive tests cases. A typical approach is to generate the labelled transition system (LTS) of a model and then using model checking to discover paths satisfying certain test requirements. A significant challenge is state space explosion and the complexity of model checking. Some authors have proposed meta-heuristic search-based approaches to cope with this problem, exploring only a small portion of the LTS to produce paths that cover a maximum of test objectives. Although yielding acceptable results on small case studies, these approaches don’t scale well. MBT using graph transformation can use both the behavioral information and the graph structure of states and rules to de-fine and evaluate test objectives, but approaches have the same limitations as LTS-based MBT in general, often exacerbated by the more complex nature of graph-based LTS. In this paper, we introduce a method based on deep reinforcement learning to generate test suites for systems specified through graph transformations. We use the reward/penalty mechanism of the reinforcement learning to op-timize the selection of moves within the state space, enabling the generation of test cases based on prior decisions. Our goal is to achieve greater coverage of test objectives while minimizing the size of the test cases. The method has been implemented in GROOVE, an open-source toolset for designing and model checking graph transformation systems. Experimental results on well-known case studies demonstrate that our approach generates test cases with improved coverage scores while requiring less cost.

Wed 11 Jun

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

13:30 - 15:00
ICGT Session 1: Applications for Program Verification and TestingICGT Research Papers at M 201

Session Chair: Leen Lambers

13:30
30m
Talk
Test Case Generation from Graph Transformation Systems using Deep Reinforcement Learning
ICGT Research Papers
Simin Ghasemi Arak University, Mohammadjavad Mehrabi Arak University, Vahid Rafe City St George’s, University of London, Reiko Heckel University of Leicester, Issam Al-Azzoni Al Ain University of Science, United Arab Emirates
14:00
30m
Talk
Fuzzing Graph Database Applications with Graph Transformations
ICGT Research Papers
Stefania Dumbrava ENSIIE & Télécom SudParis , Melchior Oudemans Delft University of Technology, Burcu Kulahcioglu Ozkan Delft University of Technology
14:30
30m
Talk
Counterexample-Guided Abstraction Refinement for Generalized Graph Transformation Systems
ICGT Research Papers
Barbara König University of Duisburg-Essen, Arend Rensink University of Twente, The Netherlands, Lara Stoltenow Universität Duisburg-Essen, Fabian Urrigshardt University of Duisburg-Essen
:
:
:
: