Our paper "Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation" was accepted at ICSE '24! Aug 24, 2023 0 min read Manuel Rigger Faculty Manuel is an Assistant Professor and leads the group.
