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: 14033
Venue: VLDB
Year: 2025
Pagerank: 5.2043672e-05
Overall Rank: 9,868 | 32.30%
DOI: 10.14778/3725688.3725713

Incoming Non-self Citations Over Time

Authors

1. Xiyue Gao (Xidian University)
2. Zhuang Liu (Xidian University)
3. Yiran Shen (Xidian University)
4. Hui Li (Xidian University)
5. Yingfan Liu (Xidian University)
6. Hongjun Xiao (Xidian University)
7. Yanguo Peng (Xidian University)
8. Jiangtao Cui (Xidian University)

BibTeX Citation

@article{gao_vldb25,
        title = {{Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving}},
        author = {Gao, Xiyue and Liu, Zhuang and Shen, Yiran and Li, Hui and Liu, Yingfan and Xiao, Hongjun and Peng, Yanguo and Cui, Jiangtao},
        journal = {PVLDB},
        series = {{VLDB} '25},
        volume = {18},
        number = {6},
        pages = {1879--1891},
        doi = {10.14778/3725688.3725713},
        url = {https://doi.org/10.14778/3725688.3725713},
        year = {2025}
}

Incoming Citations (Sorted by Pagerank)

Showing 1 of 1 citing papers.

Rank	Citing Paper	Year	Venue	Pagerank
10,216	DBugScribe: Automatic Database Bug Reproduction from Community Reports	2026	SIGMOD	5.093636e-05

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
19	A Critique of ANSI SQL Isolation Levels	1995	SIGMOD	0.00058720861
392	Massive Stochastic Testing of SQL	1998	VLDB	0.00019342814
1,325	TicToc: Time Traveling Optimistic Concurrency Control	2016	SIGMOD	0.00011147309
2,030	APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems	2020	VLDB	9.2841464e-05
2,044	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	9.2663577e-05
4,111	A genetic approach for random testing of database systems	2007	VLDB	6.8945321e-05
5,805	Diva: Making MVCC Systems HTAP-Friendly	2022	SIGMOD	6.0822211e-05

Semantically Similar Papers

#	Overall Rank	Paper	Year	Venue
1	11,526	Robustness Against Read Committed: A Free Transactional Lunch	2022	PODS
2	9,954	Robustness against Read Committed for Transaction Templates	2021	VLDB
3	7,347	Developer’s Responsibility or Database’s Responsibility? Rethinking Concurrency Control in Databases	2023	CIDR
4	7,198	Nested Transactions with Multiple Commit Points: An Approach to the Structuring of Advanced Database Applications	1984	VLDB
5	10,477	One DBMS, Two Modes, and a Bunch of Bugs: Catching Logic Bugs in Distributed DBMSs via Differential Testing	2026	SIGMOD
6	6,099	Transaction Repair for Multi-Version Concurrency Control	2017	SIGMOD
7	2,044	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD
8	10,358	Detecting Logic Bugs in DBMSs via Equivalent Data Construction	2026	SIGMOD
9	8,793	Recovery from "Bad" User Transactions	2006	SIGMOD
10	9,869	Simple Testing Can Expose Most Critical Transaction Bugs: Understanding and Detecting Write-Specific Serializability Violations in Database Systems	2025	VLDB