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

Yuancheng Jiang, Jiahao Liu, Jinsheng Ba, Roland H. C. Yap, Zhenkai Liang, Manuel Rigger

Browse the full ICSE paper archive.