Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving. - Xiyue Gao; Zhuang Liu; Yiran Shen 005; Hui Li; Yingfan Liu; Hongjun Xiao; Yanguo Peng; Jiangtao Cui (Proc. VLDB Endow., 2025)