Fuzzing Graph Database Applications with Graph Transformations
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 JunDisplayed 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 30mTalk | 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 30mTalk | 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 30mTalk | 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 |