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

Open Webpage

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

Published: 01 Jan 2024, Last Modified: 16 May 2025ICSE 2024EveryoneRevisionsBibTeXCC BY-SA 4.0