{"id":"https://openalex.org/W4413847759","doi":"https://doi.org/10.14778/3725688.3725713","title":"Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving","display_name":"Fucci: Database Transaction Fuzzing via Random Conflict Construction and Multilevel Constraint Solving","publication_year":2025,"publication_date":"2025-02-01","ids":{"openalex":"https://openalex.org/W4413847759","doi":"https://doi.org/10.14778/3725688.3725713"},"language":"en","primary_location":{"id":"doi:10.14778/3725688.3725713","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3725688.3725713","pdf_url":null,"source":{"id":"https://openalex.org/S4210226185","display_name":"Proceedings of the VLDB Endowment","issn_l":"2150-8097","issn":["2150-8097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the VLDB Endowment","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016388414","display_name":"Xiyue Gao","orcid":null},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Xiyue Gao","raw_affiliation_strings":["Xidian University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xidian University","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100452088","display_name":"Zhuang Liu","orcid":"https://orcid.org/0000-0001-6149-9667"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Zhuang Liu","raw_affiliation_strings":["Xidian University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xidian University","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050400737","display_name":"Yi Shen","orcid":"https://orcid.org/0000-0001-7973-4848"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yiran Shen","raw_affiliation_strings":["Xidian University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xidian University","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024453724","display_name":"Hui Li","orcid":"https://orcid.org/0000-0001-8310-7169"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hui Li","raw_affiliation_strings":["Xidian University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xidian University","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101975013","display_name":"Yingfan Liu","orcid":"https://orcid.org/0000-0002-3743-5249"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yingfan Liu","raw_affiliation_strings":["Xidian University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xidian University","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069752809","display_name":"H. Xiao","orcid":"https://orcid.org/0000-0003-1527-6619"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Hongjun Xiao","raw_affiliation_strings":["Xidian University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xidian University","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003941820","display_name":"Yanguo Peng","orcid":"https://orcid.org/0000-0002-3210-0714"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanguo Peng","raw_affiliation_strings":["Xidian University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xidian University","institution_ids":["https://openalex.org/I149594827"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5048420839","display_name":"Jiangtao Cui","orcid":"https://orcid.org/0000-0001-5569-0780"},"institutions":[{"id":"https://openalex.org/I149594827","display_name":"Xidian University","ror":"https://ror.org/05s92vm98","country_code":"CN","type":"education","lineage":["https://openalex.org/I149594827"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Jiangtao Cui","raw_affiliation_strings":["Xidian University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Xidian University","institution_ids":["https://openalex.org/I149594827"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I149594827"],"apc_list":null,"apc_paid":null,"fwci":1.3077,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.82460441,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":97},"biblio":{"volume":"18","issue":"6","first_page":"1879","last_page":"1891"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998000264167786,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10772","display_name":"Distributed systems and fault tolerance","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9991999864578247,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/database-transaction","display_name":"Database transaction","score":0.7087510824203491},{"id":"https://openalex.org/keywords/fuzz-testing","display_name":"Fuzz testing","score":0.6804787516593933},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6623958349227905},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.6013432145118713},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.5750742554664612},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2089170217514038},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.17445573210716248}],"concepts":[{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.7087510824203491},{"id":"https://openalex.org/C111065885","wikidata":"https://www.wikidata.org/wiki/Q1189053","display_name":"Fuzz testing","level":3,"score":0.6804787516593933},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6623958349227905},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.6013432145118713},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.5750742554664612},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2089170217514038},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.17445573210716248},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14778/3725688.3725713","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3725688.3725713","pdf_url":null,"source":{"id":"https://openalex.org/S4210226185","display_name":"Proceedings of the VLDB Endowment","issn_l":"2150-8097","issn":["2150-8097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the VLDB Endowment","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1515932031","https://openalex.org/W2011715836","https://openalex.org/W2060440626","https://openalex.org/W2104954161","https://openalex.org/W2133386065","https://openalex.org/W2963723316","https://openalex.org/W3004616691","https://openalex.org/W4251424370","https://openalex.org/W4321097755"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2511770387","https://openalex.org/W3120811337","https://openalex.org/W2766647240","https://openalex.org/W4385301282","https://openalex.org/W2990186179","https://openalex.org/W4210660460","https://openalex.org/W3203597304"],"abstract_inverted_index":{"Ensuring":[0],"the":[1,7,47,88,96,121,129,140,145,165,170,173,179],"ACID":[2],"properties":[3],"of":[4,10,49,62,98,123,131,144,167,172,178,210],"transactions":[5],"is":[6,58,160],"fundamental":[8],"functionality":[9],"transactional":[11],"DBMSs.":[12],"However,":[13],"through":[14,102],"our":[15],"study":[16],"on":[17,20,184],"existing":[18],"solutions":[19],"transaction":[21,26,72,100,146,197,203],"management,":[22],"we":[23,80],"found":[24],"that":[25],"implementations":[27],"in":[28,43,46],"some":[29],"mainstream":[30],"databases,":[31],"such":[32,187],"as":[33,188],"MySQL,":[34,189],"MariaDB":[35,190],"and":[36,64,114,142,169,191,199],"TiDB,":[37],"may":[38],"violate":[39],"what":[40],"they":[41],"claim":[42],"their":[44],"documentation,":[45],"form":[48],"incorrect":[50],"database":[51],"state":[52],"or":[53,133],"query":[54],"results.":[55],"Since":[56],"there":[57],"still":[59],"a":[60,83,91],"lack":[61],"efficient":[63],"comprehensive":[65],"testing":[66],"methods":[67],"to":[68,86,155,163],"detect":[69],"bugs":[70,101,198,204],"within":[71],"management":[73],"implementation":[74],"for":[75],"off-the-shelf":[76],"DBMSs":[77],"at":[78],"present,":[79],"propose":[81],"Fucci,":[82],"fuzzing":[84],"framework,":[85],"solve":[87,156],"problem.":[89],"Given":[90],"target":[92],"DBMS,":[93],"Fucci":[94],"improves":[95],"efficiency":[97,143,166],"detecting":[99],"three":[103],"key":[104],"components:":[105],"Random":[106],"Conflict":[107],"Construction":[108],"(RCC),":[109],"Multilevel":[110],"Constraint":[111],"Solving":[112],"(MCS),":[113],"Experience-driven":[115],"Automatic":[116],"Simplification":[117],"(EAS).":[118],"RCC":[119],"addresses":[120],"issue":[122],"inadequate":[124],"case":[125],"validity":[126],"by":[127,148],"ensuring":[128],"presence":[130],"read-write":[132],"write-write":[134],"conflicts":[135],"between":[136],"transactions.":[137],"MCS":[138],"enhances":[139],"accuracy":[141],"oracle":[147],"employing":[149],"an":[150],"external":[151],"multi-version":[152],"control":[153],"system":[154],"data":[157],"visibility.":[158],"EAS":[159],"ultimately":[161],"adopted":[162],"improve":[164],"simplification":[168],"readability":[171],"identified":[174],"bug":[175],"cases.":[176],"All":[177],"above":[180],"strategies":[181],"are":[182],"tested":[183],"commercial":[185],"databases":[186],"TiDB.":[192],"Accordingly,":[193],"6":[194],"previously":[195],"unknown":[196],"14":[200],"known":[201],"duplicate":[202],"have":[205,212],"been":[206,213],"newly":[207],"discovered,":[208],"most":[209],"which":[211],"officially":[214],"acknowledged.":[215]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}