{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,15]],"date-time":"2026-04-15T18:21:44Z","timestamp":1776277304888,"version":"3.50.1"},"reference-count":67,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"10","license":[{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2016,10,1]],"date-time":"2016-10-01T00:00:00Z","timestamp":1475280000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61433008"],"award-info":[{"award-number":["61433008"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61373145"],"award-info":[{"award-number":["61373145"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61170210"],"award-info":[{"award-number":["61170210"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"Natural Science Foundation of China","doi-asserted-by":"publisher","award":["U1435216"],"award-info":[{"award-number":["U1435216"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"National Basic Research (973) Program of China","award":["2014CB340402"],"award-info":[{"award-number":["2014CB340402"]}]},{"name":"National High-Tech R&D (863) Program of China","award":["2013AA01A213"],"award-info":[{"award-number":["2013AA01A213"]}]},{"name":"Chinese Special Project of Science and Technology","award":["2013zx01039002-002"],"award-info":[{"award-number":["2013zx01039002-002"]}]},{"DOI":"10.13039\/100000001","name":"US National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1217582"],"award-info":[{"award-number":["CCF-1217582"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/100000001","name":"US National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1439091"],"award-info":[{"award-number":["CCF-1439091"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2016,10,1]]},"DOI":"10.1109\/tse.2016.2531666","type":"journal-article","created":{"date-parts":[[2016,2,18]],"date-time":"2016-02-18T21:51:28Z","timestamp":1455832288000},"page":"899-917","source":"Crossref","is-referenced-by-count":9,"title":["A Lightweight System for Detecting and Tolerating Concurrency Bugs"],"prefix":"10.1109","volume":"42","author":[{"given":"Mingxing","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6651-7032","authenticated-orcid":false,"given":"Yongwei","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shan","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shanxiang","family":"Qi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jinglei","family":"Ren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weimin","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/106972.106996"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542490"},{"key":"ref33","first-page":"245","article-title":"Falcon:\n Fault localization in concurrent programs","volume":"1","author":"park","year":"0","journal-title":"Proc 32nd ACM\/IEEE Int Conf Softw Eng"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2010.56"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1995.524546"},{"key":"ref30","year":"0"},{"key":"ref37","year":"0"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2150976.2150999"},{"key":"ref35","first-page":"221","article-title":"Automated concurrency-bug fixing","author":"jin","year":"0","journal-title":"Proc 10th USENIX Conf Oper Syst Des Implementation"},{"key":"ref34","first-page":"222","article-title":"ColorSafe:\n Architectural support for debugging and dynamically avoiding multi-variable atomicity violations","author":"lucia","year":"0","journal-title":"Proc 37th Annu Int Symp Comput Archit"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1147\/sj.411.0111"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985824"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736040"},{"key":"ref63","first-page":"281","article-title":"Gadara: Dynamic deadlock avoidance for multithreaded programs","author":"wang","year":"0","journal-title":"Proc 8th USENIX Conf Operating Syst Des Implementation"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2012.6227184"},{"key":"ref27","first-page":"179","article-title":"ConMem:\n Detecting severe concurrency bugs through an effect-oriented approach","author":"zhang","year":"0","journal-title":"Proc 15th Ed ASPLOS Archit Support Program Lang Operating Syst"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635881"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1145\/2771783.2771798"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/1669112.1669181"},{"key":"ref67","doi-asserted-by":"publisher","DOI":"10.1145\/2660193.2660217"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/1346281.1346323"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635885"},{"key":"ref20","first-page":"25","article-title":"CTrigger:\n Exposing atomicity violation bugs from their hiding places","author":"park","year":"0","journal-title":"Proc Int Conf Archit Support Program Lang Oper Syst"},{"key":"ref22","first-page":"156","article-title":"Low-overhead memory leak detection using adaptive statistical profiling","author":"hauswirth","year":"0","journal-title":"Proc Int Conf Archit Support Program Lang Oper Syst"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/2560012"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29860-8_9"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542491"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"ref25","first-page":"2001","author":"leiserson","year":"0","journal-title":"Introduction to Algorithms"},{"key":"ref50","first-page":"269","article-title":"AccMon: Automatically detecting memory-related\n bugs via program counter-based invariants","author":"zhou","year":"0","journal-title":"Proc Annu IEEE\/ACM Int Symp Microarch"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065013"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384651"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1375581.1375584"},{"key":"ref57","first-page":"267","article-title":"Finding and reproducing heisenbugs in concurrent programs","author":"musuvathi","year":"0","journal-title":"Proc 8th USENIX Conf Operating Syst Des Implementation"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/2610384.2610405"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1145\/2483760.2483766"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/2001420.2001438"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453121"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950377"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043590"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451129"},{"key":"ref40","first-page":"22","article-title":"Automatically classifying benign and harmful data races using\n replay analysis","author":"narayanasamy","year":"0","journal-title":"Proc ACM SIGPLAN Conf Programming Lang Des Implementation"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2451116.2451121"},{"key":"ref13","first-page":"1","article-title":"Bypassing races in live\n applications with execution filters","author":"wu","year":"0","journal-title":"Proc 9th USENIX Conf Operating Syst Des Implementation"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/1168857.1168864"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869474"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869481"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.015"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/CGO.2004.1281665"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1250734.1250785"},{"key":"ref4","year":"0"},{"key":"ref3","year":"2005"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806812"},{"key":"ref5","article-title":"The cracker patch choice: An analysis of\n post hoc security techniques","author":"cowan","year":"2000","journal-title":"Proc Nat Inform Syst Security Conf"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.2008.4"},{"key":"ref7","first-page":"287","article-title":"Atom\n tracker: A comprehensive approach to atomic region inference and violation detection","author":"muzahid","year":"0","journal-title":"Proc 43rd Annu IEEE\/ACM Int Symp Microarchit"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065956"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555796"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/1555754.1555797"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781169"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964023"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/1095810.1095832"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1145\/109625.109640"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2063384.2063452"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048072"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/ieeexplore.ieee.org\/ielaam\/32\/7590232\/7412768-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/7590232\/07412768.pdf?arnumber=7412768","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,8]],"date-time":"2022-04-08T18:48:20Z","timestamp":1649443700000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7412768\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,10,1]]},"references-count":67,"journal-issue":{"issue":"10"},"URL":"https:\/\/doi.org\/10.1109\/tse.2016.2531666","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016,10,1]]}}}