Back to papers
Testing Graph Databases with Synthesized Queries
Summary: GQS automates GDB testing by generating a ground truth graph with results, then synthesizing retrieval queries. It introduces syntactic and semantic query synthesis, including a Cypher tester, and finds 36 previously unknown bugs (26 logic) across four GDBs.
(summarized by gpt-5-nano on Feb 09 2026)
- Paper ID
- 7344
- Venue
- SIGMOD
- Year
- 2026
- Pagerank
- 5.1725247e-05
- Overall Rank
- 10,036 | 30.25%
- DOI
-
10.1145/3749186
Incoming Non-self Citations Over Time
No non-self incoming citations found for this paper in this database.
Incoming Citations (Sorted by Pagerank)
Showing 1 of 1 citing papers.
Outgoing Citations (Sorted by Pagerank)
Showing 11 of 11 cited papers.
Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.
| Rank |
Cited Paper |
Year |
Venue |
Pagerank |
| 1,111 |
Elle: Inferring Isolation Anomalies from Experimental Observations |
2021 |
VLDB |
0.00012210503 |
| 1,209 |
Highly Available Transactions: Virtues and Limitations |
2014 |
VLDB |
0.0001176189 |
| 2,278 |
Detecting Logic Bugs of Join Optimizations in DBMS |
2023 |
SIGMOD |
8.8960353e-05 |
| 4,435 |
Testing Graph Database Systems via Graph-Aware Metamorphic Relations |
2024 |
VLDB |
6.7601732e-05 |
| 4,474 |
Keep It Simple: Testing Databases via Differential Query Plans |
2024 |
SIGMOD |
6.739061e-05 |
| 5,396 |
PATSQL: Efficient Synthesis of SQL Queries from Example Tables with Quick Inference of Projected Columns |
2021 |
VLDB |
6.3027141e-05 |
| 5,912 |
Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction |
2024 |
VLDB |
6.1064528e-05 |
| 8,684 |
Efficient Black-box Checking of Snapshot Isolation in Databases |
2023 |
VLDB |
5.452325e-05 |
| 9,708 |
NOC-NOC: Towards Performance-optimal Distributed Transactions |
2024 |
SIGMOD |
5.2867845e-05 |
| 10,558 |
VerIso: Verifiable Isolation Guarantees for Database Transactions |
2025 |
VLDB |
5.1725247e-05 |
| 11,108 |
IsoVista: Black-box Checking Database Isolation Guarantees |
2024 |
VLDB |
5.1725247e-05 |
Semantically Similar Papers
| Overall Rank |
Paper |
Year |
Venue |
Pagerank |
| 10,495 |
Finding Logic Bugs in Graph-processing Systems via Graph-cutting |
2025 |
SIGMOD |
5.1725247e-05 |
| 10,611 |
Detecting Schema-Related Logic Bugs in Relational DBMSs via Equivalent Database Construction |
2025 |
VLDB |
5.1725247e-05 |
| 10,114 |
SRS: Detecting Logic Bugs of Join Implementation in DBMSs via Set Relation Synthesis |
2026 |
SIGMOD |
5.1725247e-05 |
| 5,912 |
Detecting Metadata-Related Logic Bugs in Database Systems via Raw Database Construction |
2024 |
VLDB |
6.1064528e-05 |
| 8,477 |
A Demonstration of DLBD: Database Logic Bug Detection System |
2023 |
VLDB |
5.4882898e-05 |
| 8,386 |
Constant Optimization Driven Database System Testing |
2025 |
SIGMOD |
5.4958075e-05 |
| 4,474 |
Keep It Simple: Testing Databases via Differential Query Plans |
2024 |
SIGMOD |
6.739061e-05 |
| 4,435 |
Testing Graph Database Systems via Graph-Aware Metamorphic Relations |
2024 |
VLDB |
6.7601732e-05 |
| 2,278 |
Detecting Logic Bugs of Join Optimizations in DBMS |
2023 |
SIGMOD |
8.8960353e-05 |
| 10,234 |
Dinkel: State-Aware and Granular Framework for Validating Graph Databases |
2026 |
VLDB |
5.1725247e-05 |