{"id":"https://openalex.org/W4415271941","doi":"https://doi.org/10.1142/s0218194025500822","title":"TemCon: An Approach to Fixing Concurrency Bugs by Extracting Templates","display_name":"TemCon: An Approach to Fixing Concurrency Bugs by Extracting Templates","publication_year":2025,"publication_date":"2025-10-17","ids":{"openalex":"https://openalex.org/W4415271941","doi":"https://doi.org/10.1142/s0218194025500822"},"language":"en","primary_location":{"id":"doi:10.1142/s0218194025500822","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194025500822","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","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/A5013537395","display_name":"Lili Bo","orcid":"https://orcid.org/0000-0002-7267-4923"},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Lili Bo","raw_affiliation_strings":["School of Information Engineering, Yangzhou University, Yangzhou, P. R. China"],"raw_orcid":"https://orcid.org/0000-0002-7267-4923","affiliations":[{"raw_affiliation_string":"School of Information Engineering, Yangzhou University, Yangzhou, P. R. China","institution_ids":["https://openalex.org/I78978612"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Guofeng Zhang","orcid":"https://orcid.org/0009-0000-6661-8426"},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Guofeng Zhang","raw_affiliation_strings":["School of Information Engineering, Yangzhou University, Yangzhou, P. R. China"],"raw_orcid":"https://orcid.org/0009-0000-6661-8426","affiliations":[{"raw_affiliation_string":"School of Information Engineering, Yangzhou University, Yangzhou, P. R. China","institution_ids":["https://openalex.org/I78978612"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5105506653","display_name":"Yanchi Yuan","orcid":null},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yanchi Yuan","raw_affiliation_strings":["School of Information Engineering, Yangzhou University, Yangzhou, P. R. China"],"raw_orcid":"https://orcid.org/0009-0009-5009-6008","affiliations":[{"raw_affiliation_string":"School of Information Engineering, Yangzhou University, Yangzhou, P. R. China","institution_ids":["https://openalex.org/I78978612"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Mohammad Mahafuj Rahman","orcid":"https://orcid.org/0009-0002-1800-7609"},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Mohammad Mahafuj Rahman","raw_affiliation_strings":["School of Information Engineering, Yangzhou University, Yangzhou, P. R. China"],"raw_orcid":"https://orcid.org/0009-0002-1800-7609","affiliations":[{"raw_affiliation_string":"School of Information Engineering, Yangzhou University, Yangzhou, P. R. China","institution_ids":["https://openalex.org/I78978612"]}]},{"author_position":"middle","author":{"id":null,"display_name":"M.\u00a0D.\u00a0Shahnewaz Sakib","orcid":"https://orcid.org/0009-0007-2478-200X"},"institutions":[{"id":"https://openalex.org/I78978612","display_name":"Yangzhou University","ror":"https://ror.org/03tqb8s11","country_code":"CN","type":"education","lineage":["https://openalex.org/I78978612"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"M.\u00a0D.\u00a0Shahnewaz Sakib","raw_affiliation_strings":["School of Information Engineering, Yangzhou University, Yangzhou, P. R. China"],"raw_orcid":"https://orcid.org/0009-0007-2478-200X","affiliations":[{"raw_affiliation_string":"School of Information Engineering, Yangzhou University, Yangzhou, P. R. China","institution_ids":["https://openalex.org/I78978612"]}]},{"author_position":"last","author":{"id":null,"display_name":"Yun Yang","orcid":"https://orcid.org/0000-0002-9893-3436"},"institutions":[{"id":"https://openalex.org/I189210763","display_name":"Yunnan University","ror":"https://ror.org/0040axw97","country_code":"CN","type":"education","lineage":["https://openalex.org/I189210763"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yun Yang","raw_affiliation_strings":["Yunnan Key Laboratory of Software Engineering, Yunnan, P. R. China"],"raw_orcid":"https://orcid.org/0000-0002-9893-3436","affiliations":[{"raw_affiliation_string":"Yunnan Key Laboratory of Software Engineering, Yunnan, P. R. China","institution_ids":["https://openalex.org/I189210763"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5013537395"],"corresponding_institution_ids":["https://openalex.org/I78978612"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.28049759,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"36","issue":"04","first_page":"549","last_page":"566"},"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.8093000054359436,"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.8093000054359436,"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/T11269","display_name":"Algorithms and Data Compression","score":0.7822999954223633,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"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/T10015","display_name":"Genomics and Phylogenetic Studies","score":0.7591000199317932,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/concurrency","display_name":"Concurrency","score":0.8051999807357788},{"id":"https://openalex.org/keywords/non-lock-concurrency-control","display_name":"Non-lock concurrency control","score":0.7156000137329102},{"id":"https://openalex.org/keywords/atomicity","display_name":"Atomicity","score":0.595300018787384},{"id":"https://openalex.org/keywords/multiversion-concurrency-control","display_name":"Multiversion concurrency control","score":0.5723999738693237},{"id":"https://openalex.org/keywords/optimistic-concurrency-control","display_name":"Optimistic concurrency control","score":0.4284000098705292},{"id":"https://openalex.org/keywords/concurrent-object-oriented-programming","display_name":"Concurrent object-oriented programming","score":0.41339999437332153},{"id":"https://openalex.org/keywords/thread","display_name":"Thread (computing)","score":0.4050999879837036},{"id":"https://openalex.org/keywords/concurrency-control","display_name":"Concurrency control","score":0.39660000801086426}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8567000031471252},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.8051999807357788},{"id":"https://openalex.org/C61912525","wikidata":"https://www.wikidata.org/wiki/Q7048952","display_name":"Non-lock concurrency control","level":5,"score":0.7156000137329102},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.595300018787384},{"id":"https://openalex.org/C108744092","wikidata":"https://www.wikidata.org/wiki/Q93695","display_name":"Multiversion concurrency control","level":5,"score":0.5723999738693237},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5338000059127808},{"id":"https://openalex.org/C79240183","wikidata":"https://www.wikidata.org/wiki/Q1779327","display_name":"Optimistic concurrency control","level":5,"score":0.4284000098705292},{"id":"https://openalex.org/C3701939","wikidata":"https://www.wikidata.org/wiki/Q5159109","display_name":"Concurrent object-oriented programming","level":5,"score":0.41339999437332153},{"id":"https://openalex.org/C138101251","wikidata":"https://www.wikidata.org/wiki/Q213092","display_name":"Thread (computing)","level":2,"score":0.4050999879837036},{"id":"https://openalex.org/C84511453","wikidata":"https://www.wikidata.org/wiki/Q2914952","display_name":"Concurrency control","level":3,"score":0.39660000801086426},{"id":"https://openalex.org/C208087996","wikidata":"https://www.wikidata.org/wiki/Q5283142","display_name":"Distributed concurrency control","level":4,"score":0.3950999975204468},{"id":"https://openalex.org/C35819235","wikidata":"https://www.wikidata.org/wiki/Q186868","display_name":"Timestamp-based concurrency control","level":5,"score":0.38359999656677246},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37290000915527344},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34869998693466187},{"id":"https://openalex.org/C191558696","wikidata":"https://www.wikidata.org/wiki/Q137712","display_name":"Serializability","level":5,"score":0.3398999869823456},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.335999995470047},{"id":"https://openalex.org/C150495011","wikidata":"https://www.wikidata.org/wiki/Q128392","display_name":"Concurrent computing","level":2,"score":0.3264999985694885},{"id":"https://openalex.org/C2779427698","wikidata":"https://www.wikidata.org/wiki/Q17146793","display_name":"SCOOP","level":2,"score":0.32510000467300415},{"id":"https://openalex.org/C82714645","wikidata":"https://www.wikidata.org/wiki/Q438331","display_name":"Template","level":2,"score":0.31529998779296875},{"id":"https://openalex.org/C52723943","wikidata":"https://www.wikidata.org/wiki/Q1127410","display_name":"Serialization","level":2,"score":0.2980000078678131},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.29670000076293945},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.2896000146865845},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.2842999994754791},{"id":"https://openalex.org/C16311509","wikidata":"https://www.wikidata.org/wiki/Q4148050","display_name":"Dependency graph","level":3,"score":0.28299999237060547},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.27160000801086426}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1142/s0218194025500822","is_oa":false,"landing_page_url":"https://doi.org/10.1142/s0218194025500822","pdf_url":null,"source":{"id":"https://openalex.org/S131442419","display_name":"International Journal of Software Engineering and Knowledge Engineering","issn_l":"0218-1940","issn":["0218-1940","1793-6403"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319815","host_organization_name":"World Scientific","host_organization_lineage":["https://openalex.org/P4310319815"],"host_organization_lineage_names":["World Scientific"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"International Journal of Software Engineering and Knowledge Engineering","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2923719292","display_name":null,"funder_award_id":"61972335","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G5483702481","display_name":null,"funder_award_id":"RJFW-053","funder_id":"https://openalex.org/F4320326182","funder_display_name":"Six Talent Peaks Project in Jiangsu Province"},{"id":"https://openalex.org/G5913986867","display_name":null,"funder_award_id":"62002309","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"},{"id":"https://openalex.org/G8361097853","display_name":null,"funder_award_id":"61872312","funder_id":"https://openalex.org/F4320321001","funder_display_name":"National Natural Science Foundation of China"}],"funders":[{"id":"https://openalex.org/F4320321001","display_name":"National Natural Science Foundation of China","ror":"https://ror.org/01h0zpd94"},{"id":"https://openalex.org/F4320326182","display_name":"Six Talent Peaks Project in Jiangsu Province","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W1606838974","https://openalex.org/W1967959506","https://openalex.org/W1977476643","https://openalex.org/W2000994315","https://openalex.org/W2065489029","https://openalex.org/W2126859103","https://openalex.org/W2159856414","https://openalex.org/W2169241426","https://openalex.org/W2560532598","https://openalex.org/W2767607466","https://openalex.org/W2888262223","https://openalex.org/W2888762786","https://openalex.org/W2924629359","https://openalex.org/W2955426500","https://openalex.org/W2968109196","https://openalex.org/W2979679630","https://openalex.org/W3008339000","https://openalex.org/W3034030180","https://openalex.org/W3135378849","https://openalex.org/W3137883196","https://openalex.org/W3148851051","https://openalex.org/W3205399122","https://openalex.org/W4255632703","https://openalex.org/W4292595668","https://openalex.org/W4308643319","https://openalex.org/W4403536987","https://openalex.org/W4404908658"],"related_works":[],"abstract_inverted_index":{"Concurrency":[0],"bugs":[1,23,202],"occur":[2],"due":[3],"to":[4,46,107,159],"the":[5,15,26,38,52,56,61,124,138,145,150,156,161,185,233],"uncertainty":[6],"of":[7,14,28,40,60,70,224,232],"thread":[8],"scheduling":[9],"within":[10],"concurrent":[11],"programs.":[12],"Most":[13],"existing":[16],"concurrency":[17,22,33,53,71,88,165,171,176,201],"bug":[18,89,172,177],"fixing":[19,51,66,90,110,139,157,164,178,222],"approaches":[20,62],"fix":[21,199],"by":[24,143],"serializing":[25],"execution":[27],"all":[29],"threads":[30],"involved":[31],"in":[32,187],"bugs.":[34,54,166],"However,":[35],"they":[36],"face":[37],"threats":[39],"introducing":[41,204],"new":[42,170,205],"deadlocks":[43],"and":[44,122,134,180,210,215],"lead":[45],"high":[47],"runtime":[48],"overhead":[49],"while":[50],"On":[55],"other":[57],"hand,":[58],"most":[59],"are":[63,141,153],"biased":[64],"toward":[65],"only":[67],"one":[68],"type":[69],"bug,":[72],"e.g.":[73],"data":[74],"races,":[75],"deadlocks,":[76,206],"or":[77],"atomicity":[78],"violations.":[79],"In":[80],"this":[81],"paper,":[82],"we":[83],"propose":[84],"TemCon,":[85],"a":[86,169,221],"template-based":[87],"approach":[91,183,196],"that":[92,194,231],"constructs":[93,114],"fine-grained":[94,115],"semantic":[95,116],"change":[96,117],"graphs":[97,118,125,133],"on":[98,102,119],"patch":[99,120],"files":[100,121],"based":[101],"Abstract":[103],"Syntax":[104],"Trees":[105],"(ASTs)":[106],"mine":[108],"accurate":[109],"templates.":[111],"First,":[112],"it":[113],"splits":[123],"into":[126],"three":[127],"subgraphs":[128],"(i.e.":[129],"attribute":[130],"graphs,":[131],"operation":[132],"text":[135],"graphs).":[136],"Then,":[137],"templates":[140,158],"extracted":[142],"clustering":[144],"same":[146],"graph":[147],"pairs.":[148],"Finally,":[149],"buggy":[151],"programs":[152],"matched":[154],"with":[155,174,184],"generate":[160],"patches":[162,179],"for":[163],"We":[167],"constructed":[168],"dataset":[173],"1830":[175],"compared":[181],"our":[182,188,195],"state-of-the-arts":[186],"experiments.":[189],"The":[190],"experimental":[191],"results":[192],"show":[193],"can":[197,219],"correctly":[198],"887":[200],"without":[203],"which":[207,226],"is":[208,227],"684":[209],"93":[211],"more":[212],"than":[213,230],"Grail":[214],"PFix,":[216],"respectively.":[217],"TemCon":[218],"achieve":[220],"accuracy":[223],"48.47%,":[225],"5.08\u201337.38%":[228],"higher":[229],"state-of-the-art":[234],"approaches.":[235]},"counts_by_year":[],"updated_date":"2026-05-21T09:19:25.381259","created_date":"2025-10-17T00:00:00"}