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 Manuel Rigger Faculty Manuel is an Assistant Professor and leads the group.
