{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,24]],"date-time":"2026-01-24T15:43:24Z","timestamp":1769269404550,"version":"3.49.0"},"reference-count":37,"publisher":"World Scientific Pub Co Pte Ltd","issue":"04","funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61872312"],"award-info":[{"award-number":["61872312"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972335"],"award-info":[{"award-number":["61972335"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["62002309"],"award-info":[{"award-number":["62002309"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100010014","name":"Six Talent Peaks Project in Jiangsu Province","doi-asserted-by":"crossref","award":["RJFW-053"],"award-info":[{"award-number":["RJFW-053"]}],"id":[{"id":"10.13039\/501100010014","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Open Foundation of Yunnan Key Laboratory of Software Engineering","award":["2023SE201"],"award-info":[{"award-number":["2023SE201"]}]},{"name":"Yangzhou city-Yangzhou University Science and Technology Cooperation Fund","award":["YZU201803"],"award-info":[{"award-number":["YZU201803"]}]},{"name":"Yangzhou University Top-level Talents Support Program","award":["yzuxk202015"],"award-info":[{"award-number":["yzuxk202015"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Soft. Eng. Knowl. Eng."],"published-print":{"date-parts":[[2026,3,30]]},"abstract":"<jats:p>Concurrency bugs occur due to the uncertainty of thread scheduling within concurrent programs. Most of the existing concurrency bug fixing approaches fix concurrency bugs by serializing the execution of all threads involved in concurrency bugs. However, they face the threats of introducing new deadlocks and lead to high runtime overhead while fixing the concurrency bugs. On the other hand, most of the approaches are biased toward fixing only one type of concurrency bug, e.g. data races, deadlocks, or atomicity violations. In this paper, we propose TemCon, a template-based concurrency bug fixing approach that constructs fine-grained semantic change graphs on patch files based on Abstract Syntax Trees (ASTs) to mine accurate fixing templates. First, it constructs fine-grained semantic change graphs on patch files and splits the graphs into three subgraphs (i.e. attribute graphs, operation graphs and text graphs). Then, the fixing templates are extracted by clustering the same graph pairs. Finally, the buggy programs are matched with the fixing templates to generate the patches for fixing concurrency bugs. We constructed a new concurrency bug dataset with 1830 concurrency bug fixing patches and compared our approach with the state-of-the-arts in our experiments. The experimental results show that our approach can correctly fix 887 concurrency bugs without introducing new deadlocks, which is 684 and 93 more than Grail and PFix, respectively. TemCon can achieve a fixing accuracy of 48.47%, which is 5.08\u201337.38% higher than that of the state-of-the-art approaches.<\/jats:p>","DOI":"10.1142\/s0218194025500822","type":"journal-article","created":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T03:29:42Z","timestamp":1760671782000},"page":"549-566","source":"Crossref","is-referenced-by-count":0,"title":["TemCon: An Approach to Fixing Concurrency Bugs by Extracting Templates"],"prefix":"10.1142","volume":"36","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7267-4923","authenticated-orcid":false,"given":"Lili","family":"Bo","sequence":"first","affiliation":[{"name":"School of Information Engineering, Yangzhou University, Yangzhou, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-6661-8426","authenticated-orcid":false,"given":"Guofeng","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of Information Engineering, Yangzhou University, Yangzhou, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-5009-6008","authenticated-orcid":false,"given":"Yanchi","family":"Yuan","sequence":"additional","affiliation":[{"name":"School of Information Engineering, Yangzhou University, Yangzhou, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0002-1800-7609","authenticated-orcid":false,"given":"Mohammad Mahafuj","family":"Rahman","sequence":"additional","affiliation":[{"name":"School of Information Engineering, Yangzhou University, Yangzhou, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-2478-200X","authenticated-orcid":false,"given":"M.\u00a0D.\u00a0Shahnewaz","family":"Sakib","sequence":"additional","affiliation":[{"name":"School of Information Engineering, Yangzhou University, Yangzhou, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9893-3436","authenticated-orcid":false,"given":"Yun","family":"Yang","sequence":"additional","affiliation":[{"name":"Yunnan Key Laboratory of Software Engineering, Yunnan, P. R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"219","published-online":{"date-parts":[[2025,11,14]]},"reference":[{"key":"S0218194025500822BIB001","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238212"},{"key":"S0218194025500822BIB002","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2021.3114498"},{"key":"S0218194025500822BIB003","doi-asserted-by":"publisher","DOI":"10.1145\/3548684"},{"key":"S0218194025500822BIB004","doi-asserted-by":"publisher","DOI":"10.1007\/s11432-015-0203-2"},{"key":"S0218194025500822BIB005","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2024.112289"},{"key":"S0218194025500822BIB006","doi-asserted-by":"publisher","DOI":"10.1145\/3691620.3695325"},{"key":"S0218194025500822BIB007","doi-asserted-by":"publisher","DOI":"10.1145\/2642937.2642982"},{"key":"S0218194025500822BIB008","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2019.00086"},{"key":"S0218194025500822BIB009","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2004.1357803"},{"key":"S0218194025500822BIB010","doi-asserted-by":"publisher","DOI":"10.1145\/333623.333627"},{"key":"S0218194025500822BIB011","doi-asserted-by":"publisher","DOI":"10.1145\/3433652"},{"key":"S0218194025500822BIB012","doi-asserted-by":"publisher","DOI":"10.1145\/3385412.3386036"},{"key":"S0218194025500822BIB013","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635881"},{"key":"S0218194025500822BIB014","doi-asserted-by":"publisher","DOI":"10.1145\/3238147.3238198"},{"key":"S0218194025500822BIB015","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"S0218194025500822BIB016","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07674-4_51"},{"key":"S0218194025500822BIB017","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS51672.2020.00025"},{"key":"S0218194025500822BIB018","doi-asserted-by":"publisher","DOI":"10.1145\/3540250.3549101"},{"key":"S0218194025500822BIB019","doi-asserted-by":"publisher","DOI":"10.1145\/3293882.3330577"},{"key":"S0218194025500822BIB020","doi-asserted-by":"publisher","DOI":"10.1145\/3360585"},{"key":"S0218194025500822BIB021","first-page":"295","volume-title":"8th USENIX Symp. Operating Systems Design and Implementation","volume":"8","author":"Jula H.","year":"2008"},{"key":"S0218194025500822BIB022","first-page":"281","volume-title":"Proc. Symp. Operating Systems Design and Implementation","volume":"8","author":"Wang Y.","year":"2008"},{"key":"S0218194025500822BIB023","doi-asserted-by":"publisher","DOI":"10.1145\/1594834.1480913"},{"key":"S0218194025500822BIB024","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2017.8115684"},{"key":"S0218194025500822BIB025","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384670"},{"key":"S0218194025500822BIB026","first-page":"440","volume-title":"Proc. 19th ACM SIGSOFT Symp. and the 13th European Conf. Foundations of Software Engineering","author":"Lu P.","year":"2011"},{"key":"S0218194025500822BIB027","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"S0218194025500822BIB028","first-page":"231","volume-title":"Proc. 34th Int. Conf. Software Engineering","author":"Lu P.","year":"2012"},{"key":"S0218194025500822BIB029","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227184"},{"key":"S0218194025500822BIB030","first-page":"1109","volume-title":"Proc. 38th Int. Conf. on Software Engineering","author":"Cai Y.","year":"2016"},{"key":"S0218194025500822BIB031","first-page":"308","volume-title":"Proc. 39th Int. Conf. Software Engineering","author":"Cai Y.","year":"2017"},{"key":"S0218194025500822BIB032","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606626"},{"key":"S0218194025500822BIB033","first-page":"511","volume-title":"Proc. 38th Int. Conf. Software Engineering","author":"Liu X.","year":"2016"},{"key":"S0218194025500822BIB034","first-page":"413","volume-title":"Proc. 40th Int. Conf. Software Engineering","author":"Tan S. H.","year":"2018"},{"key":"S0218194025500822BIB035","first-page":"599","volume-title":"Proc. 39th Int. Conf. Software Engineering","author":"Saha R. K.","year":"2017"},{"key":"S0218194025500822BIB036","first-page":"779","volume-title":"Proc. 33rd IEEE\/ACM Int. Conf. Automated Software Engineering","author":"Zhong H.","year":"2018"},{"key":"S0218194025500822BIB037","doi-asserted-by":"publisher","DOI":"10.1145\/3338906.3338952"}],"container-title":["International Journal of Software Engineering and Knowledge Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S0218194025500822","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,1,23]],"date-time":"2026-01-23T07:39:25Z","timestamp":1769153965000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S0218194025500822"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,11,14]]},"references-count":37,"journal-issue":{"issue":"04","published-print":{"date-parts":[[2026,3,30]]}},"alternative-id":["10.1142\/S0218194025500822"],"URL":"https:\/\/doi.org\/10.1142\/s0218194025500822","relation":{},"ISSN":["0218-1940","1793-6403"],"issn-type":[{"value":"0218-1940","type":"print"},{"value":"1793-6403","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,11,14]]}}}