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: 7226
Venue: SIGMOD
Year: 2025
Pagerank: 4.1945683e-05
Overall Rank: 10,485 | 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
789	Cypher: An Evolving Query Language for Property Graphs	2018	SIGMOD	0.00016634256
919	Distance-Join: Pattern Match Query In a Large Graph Database	2009	VLDB	0.00015343179
1,344	Counting and Sampling Triangles from a Graph Stream	2013	VLDB	0.00012473724
2,650	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.3708191e-05
2,891	APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems	2020	VLDB	7.954658e-05
2,962	Kuzu* Graph Database Management System	2023	CIDR	7.8101752e-05
4,168	Accelerating Triangle Counting on GPU	2021	SIGMOD	6.391271e-05
4,270	Efficient k-Clique Listing: An Edge-Oriented Branching Strategy	2024	SIGMOD	6.3067205e-05
4,503	Testing Graph Database Systems via Graph-Aware Metamorphic Relations	2024	VLDB	6.1349827e-05
4,879	Approximately Counting Triangles in Large Graph Streams Including Edge Duplicates with a Fixed Memory Usage	2018	VLDB	5.8575676e-05
5,037	Keep It Simple: Testing Databases via Differential Query Plans	2024	SIGMOD	5.7434825e-05
5,517	Representing Paths in Graph Database Pattern Matching	2023	VLDB	5.4626107e-05
7,033	DuckPGQ: Bringing SQL/PGQ to DuckDB	2023	VLDB	4.8551607e-05
9,106	TED: Towards Discovering Top-k Edge-Diversified Patterns in a Graph Database	2023	SIGMOD	4.3952103e-05
9,403	A Counting-based Approach for Efficient k-Clique Densest Subgraph Discovery	2024	SIGMOD	4.3441378e-05
10,988	Finding Logic Bugs in Spatial Database Engines via Affine Equivalent Inputs	2024	SIGMOD	4.1945683e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
612	Taming Verification Hardness: An Efficient Algorithm for Testing Subgraph Isomorphism	2008	VLDB	0.0001920234
7,589	Using Domain-Specific Languages For Analytic Graph Databases	2016	VLDB	4.7030207e-05
4,072	Performance and Scalability of Indexed Subgraph Query Processing Methods	2015	VLDB	6.4727847e-05
10,235	Repairing Property Graphs under PG-Constraints	2026	VLDB	4.1945683e-05
331	The Ubiquity of Large Graphs and Surprising Challenges of Graph Processing	2018	VLDB	0.00027214222
2,650	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.3708191e-05
8,586	A Demonstration of DLBD: Database Logic Bug Detection System	2023	VLDB	4.4902778e-05
10,234	Dinkel: State-Aware and Granular Framework for Validating Graph Databases	2026	VLDB	4.1945683e-05
10,036	Testing Graph Databases with Synthesized Queries	2026	SIGMOD	4.1945683e-05
4,503	Testing Graph Database Systems via Graph-Aware Metamorphic Relations	2024	VLDB	6.1349827e-05