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

Graph databases have surged in popularity, and applications increasingly employ them to store and retrieve interconnected data. However, testing graph database-backed applications has distinctive challenges. Due to the sheer dimension of the graph schema state space, testing applications using naive random graph instances is unlikely to cover a large portion of an application program. We present PGFuzz, a graph transformation-based greybox fuzzer for testing graph database-backed applications, that is, to the best of our knowledge, the first fuzzer to specifically target graph database applications. PGFuzz builds on top of state-of-the-art graph generators and utilizes graph transformations guided by code coverage to produce application test inputs. PGFuzz’s graph transformations are schema-aware and support recently introduced graph schema, key, and cardinality constraints. We evaluate PGFuzz on graph database applications that we curate from open-source repositories and show that PGFuzz substantially improves the test coverage of graph database-backed applications compared to the state of the art.

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
:
:
:
: