{"id":"https://openalex.org/W4411403275","doi":"https://doi.org/10.1145/3725300","title":"Finding Logic Bugs in Graph-processing Systems via Graph-cutting","display_name":"Finding Logic Bugs in Graph-processing Systems via Graph-cutting","publication_year":2025,"publication_date":"2025-06-17","ids":{"openalex":"https://openalex.org/W4411403275","doi":"https://doi.org/10.1145/3725300"},"language":"en","primary_location":{"id":"doi:10.1145/3725300","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3725300","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1145/3725300","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092838030","display_name":"Qiuyang Mang","orcid":"https://orcid.org/0009-0000-4462-8527"},"institutions":[{"id":"https://openalex.org/I4210116924","display_name":"Chinese University of Hong Kong, Shenzhen","ror":"https://ror.org/02d5ks197","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633","https://openalex.org/I180726961","https://openalex.org/I4210116924"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Qiuyang Mang","raw_affiliation_strings":["School of Data Science, The Chinese University of Hong Kong, Shenzhen, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0009-0000-4462-8527","affiliations":[{"raw_affiliation_string":"School of Data Science, The Chinese University of Hong Kong, Shenzhen, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I4210116924"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5092081485","display_name":"Jinsheng Ba","orcid":"https://orcid.org/0000-0003-4008-9225"},"institutions":[{"id":"https://openalex.org/I35440088","display_name":"ETH Zurich","ror":"https://ror.org/05a28rw58","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I35440088"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Jinsheng Ba","raw_affiliation_strings":["ETH Zurich, Zurich, Switzerland"],"raw_orcid":"https://orcid.org/0000-0003-4008-9225","affiliations":[{"raw_affiliation_string":"ETH Zurich, Zurich, Switzerland","institution_ids":["https://openalex.org/I35440088"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101941950","display_name":"Pinjia He","orcid":"https://orcid.org/0000-0003-3377-8129"},"institutions":[{"id":"https://openalex.org/I4210116924","display_name":"Chinese University of Hong Kong, Shenzhen","ror":"https://ror.org/02d5ks197","country_code":"CN","type":"education","lineage":["https://openalex.org/I177725633","https://openalex.org/I180726961","https://openalex.org/I4210116924"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Pinjia He","raw_affiliation_strings":["School of Data Science, The Chinese University of Hong Kong, Shenzhen, Shenzhen, Guangdong, China"],"raw_orcid":"https://orcid.org/0000-0003-3377-8129","affiliations":[{"raw_affiliation_string":"School of Data Science, The Chinese University of Hong Kong, Shenzhen, Shenzhen, Guangdong, China","institution_ids":["https://openalex.org/I4210116924"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066738024","display_name":"Manuel Rigger","orcid":"https://orcid.org/0000-0001-8303-2099"},"institutions":[{"id":"https://openalex.org/I165932596","display_name":"National University of Singapore","ror":"https://ror.org/01tgyzw49","country_code":"SG","type":"education","lineage":["https://openalex.org/I165932596"]}],"countries":["SG"],"is_corresponding":false,"raw_author_name":"Manuel Rigger","raw_affiliation_strings":["School of Computing, National University of Singapore, Singapore, Singapore"],"raw_orcid":"https://orcid.org/0000-0001-8303-2099","affiliations":[{"raw_affiliation_string":"School of Computing, National University of Singapore, Singapore, Singapore","institution_ids":["https://openalex.org/I165932596"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.6154,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.88945844,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":97,"max":98},"biblio":{"volume":"3","issue":"3","first_page":"1","last_page":"27"},"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.9980999827384949,"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.9980999827384949,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9901000261306763,"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/T12326","display_name":"Network Packet Processing and Optimization","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/computer-science","display_name":"Computer science","score":0.7444241046905518},{"id":"https://openalex.org/keywords/wait-for-graph","display_name":"Wait-for graph","score":0.5599725842475891},{"id":"https://openalex.org/keywords/graph-database","display_name":"Graph database","score":0.5509822964668274},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.5440477728843689},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5318096876144409}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7444241046905518},{"id":"https://openalex.org/C106891557","wikidata":"https://www.wikidata.org/wiki/Q4148051","display_name":"Wait-for graph","level":4,"score":0.5599725842475891},{"id":"https://openalex.org/C176225458","wikidata":"https://www.wikidata.org/wiki/Q595971","display_name":"Graph database","level":3,"score":0.5509822964668274},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.5440477728843689},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5318096876144409}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3725300","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3725300","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1145/3725300","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3725300","pdf_url":null,"source":{"id":"https://openalex.org/S4387289859","display_name":"Proceedings of the ACM on Management of Data","issn_l":"2836-6573","issn":["2836-6573"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM on Management of Data","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.7200000286102295,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":58,"referenced_works":["https://openalex.org/W109452506","https://openalex.org/W1964419312","https://openalex.org/W2004824191","https://openalex.org/W2041713059","https://openalex.org/W2094308804","https://openalex.org/W2111607365","https://openalex.org/W2132022337","https://openalex.org/W2170737051","https://openalex.org/W2532737545","https://openalex.org/W2741359394","https://openalex.org/W2775352277","https://openalex.org/W2799059383","https://openalex.org/W2962756421","https://openalex.org/W2982543044","https://openalex.org/W2982547214","https://openalex.org/W2999082198","https://openalex.org/W3042605769","https://openalex.org/W3097728505","https://openalex.org/W3099032206","https://openalex.org/W3106731144","https://openalex.org/W3109744225","https://openalex.org/W3163644064","https://openalex.org/W3173506450","https://openalex.org/W3175360619","https://openalex.org/W3196217620","https://openalex.org/W4282982144","https://openalex.org/W4284665426","https://openalex.org/W4285490445","https://openalex.org/W4313563670","https://openalex.org/W4379539435","https://openalex.org/W4380433136","https://openalex.org/W4380433204","https://openalex.org/W4384155660","https://openalex.org/W4384305072","https://openalex.org/W4384345711","https://openalex.org/W4384347367","https://openalex.org/W4386768611","https://openalex.org/W4389072203","https://openalex.org/W4389159637","https://openalex.org/W4389165130","https://openalex.org/W4391558431","https://openalex.org/W4392453941","https://openalex.org/W4393183810","https://openalex.org/W4394745495","https://openalex.org/W4394769417","https://openalex.org/W4396214302","https://openalex.org/W4399156224","https://openalex.org/W4399174484","https://openalex.org/W4401806608","https://openalex.org/W4401905777","https://openalex.org/W4402442355","https://openalex.org/W4402442617","https://openalex.org/W4402500739","https://openalex.org/W4403578332","https://openalex.org/W6677296853","https://openalex.org/W6751487004","https://openalex.org/W6871519686","https://openalex.org/W6929401403"],"related_works":["https://openalex.org/W3033305489","https://openalex.org/W2003603054","https://openalex.org/W2950176494","https://openalex.org/W2795092208","https://openalex.org/W2502255990","https://openalex.org/W3043138253","https://openalex.org/W2101874743","https://openalex.org/W978295669","https://openalex.org/W3115442681","https://openalex.org/W2972311463"],"abstract_inverted_index":{"Graph-processing":[0],"systems,":[1,31,164],"including":[2],"Graph":[3],"Database":[4],"Management":[5],"Systems":[6],"(GDBMSes)":[7],"and":[8,15,32,91,135,157,167,173,184,226],"graph":[9,17,95,107,116,134],"libraries,":[10],"are":[11,21,109],"designed":[12],"to":[13,43,65,68,222,232],"analyze":[14],"manage":[16],"data":[18,117],"efficiently.":[19],"They":[20],"widely":[22,224],"used":[23,231],"in":[24,38,71,88,94,216],"applications":[25],"such":[26],"as":[27,153],"social":[28],"networks,":[29],"recommendation":[30],"fraud":[33],"detection.":[34],"However,":[35],"logic":[36,86,143,191],"bugs":[37,87,144,192],"these":[39],"systems":[40,70,238],"can":[41,211,229],"lead":[42],"incorrect":[44],"results,":[45],"compromising":[46],"the":[47,103,132,140,234],"reliability":[48],"of":[49,142,178,236],"applications.":[50],"While":[51],"recent":[52],"research":[53],"has":[54],"explored":[55],"testing":[56],"techniques":[57],"specialized":[58],"for":[59,84,111,139],"GDBMSes,":[60],"it":[61,159,228],"is":[62,100,148],"unclear":[63],"how":[64],"adapt":[66],"them":[67],"graph-processing":[69,113,163,237],"general.":[72],"This":[73],"paper":[74],"proposes":[75],"G":[76],"raph":[77],"-":[78],"cutting":[79],",":[80],"a":[81,125,154,206],"universal":[82],"approach":[83],"detecting":[85],"both":[89],"GDBMSes":[90],"various":[92,112],"algorithms":[93],"libraries.":[96],"Our":[97],"key":[98],"idea":[99],"inspired":[101],"by":[102,186,194,199,203],"observation":[104],"that":[105,120,227],"certain":[106],"patterns":[108,123],"critical":[110],"tasks.":[114],"Dividing":[115],"into":[118],"subgraphs":[119],"preserve":[121],"those":[122],"establishes":[124],"natural":[126],"relationship":[127,147],"between":[128],"query":[129],"results":[130],"on":[131,160],"original":[133],"its":[136],"subgraphs,":[137],"allowing":[138],"detection":[141],"when":[145],"this":[146,220],"violated.":[149],"We":[150,218],"implemented":[151],"Graph-cutting":[152,210],"tool,":[155],"GSlicer,":[156],"evaluated":[158],"3":[161],"popular":[162],"NetworkX,":[165],"Neo4j,":[166],"K\u00f9zu.":[168],"GSlicer":[169,195],"detected":[170,193,198],"39":[171],"unique":[172],"previously":[174],"unknown":[175],"bugs,":[176],"out":[177],"which":[179],"34":[180],"have":[181],"been":[182],"fixed":[183],"confirmed":[185],"developers.":[187],"At":[188],"least":[189],"8":[190],"cannot":[196],"be":[197,223,230],"baseline":[200],"strategies.":[201],"Additionally,":[202],"leveraging":[204],"just":[205],"few":[207],"concrete":[208],"relationships,":[209],"cover":[212],"over":[213],"100":[214],"APIs":[215],"NetworkX.":[217],"expect":[219],"technique":[221],"applicable":[225],"improve":[233],"quality":[235],"broadly.":[239]},"counts_by_year":[{"year":2026,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}