Detecting Logic Bugs in Graph Database Management Systems via Injective and Surjective Graph Pattern Transformation

Publication
In Proceedings of the 46th International Conference on Software Engineering
Jinsheng Ba
Jinsheng Ba
Ph.D. Student

Jinsheng Ba is an Ph.D. student working on fuzzing.

Manuel Rigger
Manuel Rigger
Faculty

Manuel is an Assistant Professor and leads the group.