@article{Fucci/vldb25,
  author       = {Xiyue Gao and
                  Zhuang Liu and
                  Yiran Shen and
                  Hui Li and
                  Yingfan Liu and
                  Hongjun Xiao and
                  Yanguo Peng and
                  Jiangtao Cui},
  title        = {Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving},
  journal      = {Proc. {VLDB} Endow.},
  volume       = {18},
  number       = {},
  pages        = {},
  year         = {2025},
  bibbase_note = {<b class="ui orange label">CCF A</b>},
}

{"_id":"7ZqBHZo5hdBfFiHjP","bibbaseid":"gao-liu-shen-li-liu-xiao-peng-cui-fuccidatabasetransactionfuzzingviarandomconflictconstructionandmultilevelconstraintsolving-2025","author_short":["Gao, X.","Liu, Z.","Shen, Y.","Li, H.","Liu, Y.","Xiao, H.","Peng, Y.","Cui, J."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Xiyue"],"propositions":[],"lastnames":["Gao"],"suffixes":[]},{"firstnames":["Zhuang"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Yiran"],"propositions":[],"lastnames":["Shen"],"suffixes":[]},{"firstnames":["Hui"],"propositions":[],"lastnames":["Li"],"suffixes":[]},{"firstnames":["Yingfan"],"propositions":[],"lastnames":["Liu"],"suffixes":[]},{"firstnames":["Hongjun"],"propositions":[],"lastnames":["Xiao"],"suffixes":[]},{"firstnames":["Yanguo"],"propositions":[],"lastnames":["Peng"],"suffixes":[]},{"firstnames":["Jiangtao"],"propositions":[],"lastnames":["Cui"],"suffixes":[]}],"title":"Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving","journal":"Proc. VLDB Endow.","volume":"18","number":"","pages":"","year":"2025","bibbase_note":"<b class=\"ui orange label\">CCF A</b>","bibtex":"@article{Fucci/vldb25,\r\n author = {Xiyue Gao and\r\n Zhuang Liu and\r\n Yiran Shen and\r\n Hui Li and\r\n Yingfan Liu and\r\n Hongjun Xiao and\r\n Yanguo Peng and\r\n Jiangtao Cui},\r\n title = {Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving},\r\n journal = {Proc. {VLDB} Endow.},\r\n volume = {18},\r\n number = {},\r\n pages = {},\r\n year = {2025},\r\n bibbase_note = {<b class=\"ui orange label\">CCF A</b>},\r\n}\r\n","author_short":["Gao, X.","Liu, Z.","Shen, Y.","Li, H.","Liu, Y.","Xiao, H.","Peng, Y.","Cui, J."],"key":"Fucci/vldb25","id":"Fucci/vldb25","bibbaseid":"gao-liu-shen-li-liu-xiao-peng-cui-fuccidatabasetransactionfuzzingviarandomconflictconstructionandmultilevelconstraintsolving-2025","role":"author","urls":{},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"lihuixidian.github.io/lihui.bib","dataSources":["PfNFdg8CHj5KXsA69","WH9GRwhoXXi3r8ycM"],"keywords":[],"search_terms":["fucci","database","transaction","fuzzing","via","random","conflict","construction","multilevel","constraint","solving","gao","liu","shen","li","liu","xiao","peng","cui"],"title":"Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving","year":2025}