Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving

Summary: Fucci: a transaction fuzzing framework that builds targeted read-write/write-write conflicts (RCC) and leverages multilevel constraint solving with an external multi-version oracle to detect visibility/ACID violations. Adds experience-driven simplification; found 6 new bugs in MySQL/MariaDB/TiDB. (summarized by gpt-5-mini on Feb 09 2026)

Paper ID: 13846
Venue: VLDB
Year: 2025
Pagerank: 5.1725247e-05
Overall Rank: 10,587 | 26.42%
DOI: 10.14778/3725688.3725713

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 7 of 7 cited papers.

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

Rank	Cited Paper	Year	Venue	Pagerank
18	A Critique of ANSI SQL Isolation Levels	1995	SIGMOD	0.00059344857
404	Massive Stochastic Testing of SQL	1998	VLDB	0.00019210243
1,317	TicToc: Time Traveling Optimistic Concurrency Control	2016	SIGMOD	0.00011285532
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
4,102	A genetic approach for random testing of database systems	2007	VLDB	6.9630499e-05
5,743	Diva: Making MVCC Systems HTAP-Friendly	2022	SIGMOD	6.1654772e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
11,329	Robustness Against Read Committed: A Free Transactional Lunch	2022	PODS	5.1725247e-05
9,811	Robustness against Read Committed for Transaction Templates	2021	VLDB	5.2683122e-05
7,191	Developer’s Responsibility or Database’s Responsibility? Rethinking Concurrency Control in Databases	2023	CIDR	5.7340676e-05
7,073	Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications	1984	VLDB	5.7638886e-05
10,188	One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing	2026	SIGMOD	5.1725247e-05
6,018	Transaction Repair for Multi-Version Concurrency Control	2017	SIGMOD	6.067123e-05
2,278	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.8960353e-05
10,067	Detecting Logic Bugs in DBMSs via Equivalent Data Construction	2026	SIGMOD	5.1725247e-05
8,676	Recovery from "Bad" User Transactions	2006	SIGMOD	5.454644e-05
10,630	Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems	2025	VLDB	5.1725247e-05