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: 13845
Venue: VLDB
Year: 2025
Pagerank: 4.1945683e-05
Overall Rank: 10,578 | 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
23	A Critique of ANSI SQL Isolation Levels	1995	SIGMOD	0.00083894938
406	Massive Stochastic Testing of SQL	1998	VLDB	0.00024053686
1,961	TicToc: Time Traveling Optimistic Concurrency Control	2016	SIGMOD	9.9514005e-05
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
4,644	A genetic approach for random testing of database systems	2007	VLDB	6.0259936e-05
6,302	Diva: Making MVCC Systems HTAP-Friendly	2022	SIGMOD	5.1215989e-05

Semantically Similar Papers

Overall Rank	Paper	Year	Venue	Pagerank
11,327	Robustness Against Read Committed: A Free Transactional Lunch	2022	PODS	4.1945683e-05
9,815	Robustness against Read Committed for Transaction Templates	2021	VLDB	4.2783272e-05
7,618	Developer’s Responsibility or Database’s Responsibility? Rethinking Concurrency Control in Databases	2023	CIDR	4.6944277e-05
6,489	Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications	1984	VLDB	5.0433313e-05
10,188	One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing	2026	SIGMOD	4.1945683e-05
6,529	Transaction Repair for Multi-Version Concurrency Control	2017	SIGMOD	5.0252405e-05
2,650	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	8.3708191e-05
10,067	Detecting Logic Bugs in DBMSs via Equivalent Data Construction	2026	SIGMOD	4.1945683e-05
8,516	Recovery from "Bad" User Transactions	2006	SIGMOD	4.4944066e-05
10,622	Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems	2025	VLDB	4.1945683e-05