Finding Logic Bugs in Graph-processing Systems via Graph-cutting

Summary: Graph-cutting preserves task-critical graph patterns to relate full-graph and subgraph query results, enabling cross-system logic-bug detection. Gslicer found 39 unique bugs (34 fixed); 8+ undetectable by baselines, and it covers 100+ NetworkX APIs with a few relations; evaluated on NetworkX, Neo4j, Kuzu. (summarized by gpt-5-nano on Feb 09 2026)

Paper ID: 7227
Venue: SIGMOD
Year: 2025
Pagerank: 5.1725247e-05
Overall Rank: 10,495 | 27.06%
DOI: 10.1145/3725300

Incoming Non-self Citations Over Time

No non-self incoming citations found for this paper in this database.

Authors

Incoming Citations (Sorted by Pagerank)

Showing 0 of 0 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank

Outgoing Citations (Sorted by Pagerank)

Showing 16 of 16 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Rank	Cited Paper	Year	Venue	Pagerank
600	Cypher: An Evolving Query Language for Property Graphs	2018	SIGMOD	0.00015996188
762	Distance-Join: Pattern Match Query In a Large Graph Database	2009	VLDB	0.00014288919
1,178	Counting and Sampling Triangles from a Graph Stream	2013	VLDB	0.00011907399
2,222	Kuzu* Graph Database Management System	2023	CIDR	8.9954138e-05
2,278	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.8960353e-05
2,332	APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems	2020	VLDB	8.8193868e-05
3,767	Accelerating Triangle Counting on GPU	2021	SIGMOD	7.1923965e-05
3,938	Efficient k-Clique Listing: An Edge-Oriented Branching Strategy	2024	SIGMOD	7.0733005e-05
4,435	Testing Graph Database Systems via Graph-Aware Metamorphic Relations	2024	VLDB	6.7601732e-05
4,453	Approximately Counting Triangles in Large Graph Streams Including Edge Duplicates with a Fixed Memory Usage	2018	VLDB	6.7506837e-05
4,474	Keep It Simple: Testing Databases via Differential Query Plans	2024	SIGMOD	6.739061e-05
5,356	Representing Paths in Graph Database Pattern Matching	2023	VLDB	6.3218061e-05
6,635	DuckPGQ: Bringing SQL/PGQ to DuckDB	2023	VLDB	5.8747855e-05
9,022	TED: Towards Discovering Top-k Edge-Diversified Patterns in a Graph Database	2023	SIGMOD	5.3943117e-05
9,404	A Counting-based Approach for Efficient k-Clique Densest Subgraph Discovery	2024	SIGMOD	5.3341661e-05
10,991	Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs	2024	SIGMOD	5.1725247e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
428	Taming Verification Hardness: An Efficient Algorithm for Testing Subgraph Isomorphism	2008	VLDB	0.00018725237
7,479	Using Domain-Specific Languages For Analytic Graph Databases	2016	VLDB	5.6701954e-05
10,235	Repairing Property Graphs under PG-Constraints	2026	VLDB	5.1725247e-05
3,436	Performance and Scalability of Indexed Subgraph Query Processing Methods	2015	VLDB	7.482297e-05
267	The Ubiquity of Large Graphs and Surprising Challenges of Graph Processing	2018	VLDB	0.00023020464
2,278	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.8960353e-05
8,477	A Demonstration of DLBD: Database Logic Bug Detection System	2023	VLDB	5.4882898e-05
10,234	Dinkel: State-Aware and Granular Framework for Validating Graph Databases	2026	VLDB	5.1725247e-05
10,036	Testing Graph Databases with Synthesized Queries	2026	SIGMOD	5.1725247e-05
4,435	Testing Graph Database Systems via Graph-Aware Metamorphic Relations	2024	VLDB	6.7601732e-05