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: h671405fa3fd32af9
Venue: VLDB
Year: 2025
Pagerank: 5.0875952e-05
Overall Rank: 10,059 | 32.37%
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,432	DBugScribe: Automatic Database Bug Reproduction from Community Reports	2026	SIGMOD	4.9793485e-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.00058781151
383	Massive Stochastic Testing of SQL	1998	VLDB	0.00019484034
1,334	TicToc: Time Traveling Optimistic Concurrency Control	2016	SIGMOD	0.00010995094
1,832	APOLLO: Automatic Detection and Diagnosis of Performance Regressions in Database Systems	2020	VLDB	9.5430971e-05
1,928	Detecting Logic Bugs of Join Optimizations in DBMS	2023	SIGMOD	9.3567082e-05
4,113	A genetic approach for random testing of database systems	2007	VLDB	6.7985257e-05
5,916	Diva: Making MVCC Systems HTAP-Friendly	2022	SIGMOD	5.9486769e-05

Semantically Similar Papers

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