kirancodes.me
To Proof Maintenance & Beyond!

Testing Graph Database Systems via Equivalent Query Rewriting

Qiuyang Mang, Aoyang Fang, Boxi Yu, Hanfei Chen, Pinjia He

Abstract

Graph Database Management Systems (GDBMS), which utilize graph models for data storage and execute queries via graph traversals, have seen ubiquitous usage in real-world scenarios such as recommendation systems, knowledge graphs, and social networks. Much like Relational Database Management Systems (RDBMS), GDBMS are not immune to bugs. These bugs typically manifest as logic errors that yield incorrect results (e.g., omitting a node that should be included), performance bugs (e.g., long execution time caused by redundant graph scanning), and exception issues (e.g., unexpected or missing exceptions).

BibTeX
@inproceedings{Mang-al:ICSE24,
  author    = {Qiuyang Mang and
               Aoyang Fang and
               Boxi Yu and
               Hanfei Chen and
               Pinjia He},
  title     = {Testing Graph Database Systems via Equivalent Query Rewriting},
  booktitle = {ICSE},
  pages     = {143:1--143:12},
  publisher = {{ACM}},
  year      = {2024},
}

Related papers