Added an MSc thesis defense

_events/2024-07-16-master-defense-melchior-oudemans.md

@@ -0,0 +1,14 @@
+---
+layout: event
+title: "Master Thesis Defense: Coverage-Guided Testing of Graph Processing Applications"
+categories: [events, defenses]
+start: "09:00"
+end: "10:30"
+speaker: Melchior Oudemans
+where: Arena, Echo Building 
+
+---
+**Abstract**
+
+The rise of graph processing has led to an increase in the usage of graph databasesand the availability of various frameworks. Graph databases have become more accessibleand, in specific instances, can compete with relational databases. Testing anapplication with a relational database backend has shown limited test coverage, andcurrent test generators cannot cover every branch condition in graph processing applications.There is a lack of test methods specifically designed for applications thatutilize graph structures.
+This thesis presents PGFuzz, a coverage-guided, schema-aware fuzzer for graphprocessing applications. PGFuzz utilizes existing graph generators to generate inputsand applies graph-specific mutations to alter the graph state. These mutationsare schema-aware, designed to cover the graph model search space and satisfy logicalconditions from real-world applications. The mutations involve adding new graphelements, removing graph elements, modifying existing elements, altering propertyvalues, and violating graph constraints. When compared against existing graph generatorsand a random byte mutation approach on the nine real-world examples in ourbenchmark suite, PGFuzz demonstrates an increase in coverage over time and detectsmore logic errors than the other methods. PGFuzz can cover all previously uncoveredbranching.