{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T09:59:46Z","timestamp":1740131986199,"version":"3.37.3"},"reference-count":44,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"11","license":[{"start":{"date-parts":[[2018,11,1]],"date-time":"2018-11-01T00:00:00Z","timestamp":1541030400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"National High Technology Research and Development Program of China","award":["2012AA010901"],"award-info":[{"award-number":["2012AA010901"]}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China (NSFC)","doi-asserted-by":"crossref","award":["61303051","61303052","61332009","60925009","61100011"],"award-info":[{"award-number":["61303051","61303052","61332009","60925009","61100011"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Innovation Research Group of NSFC","award":["61221062"],"award-info":[{"award-number":["61221062"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2018,11,1]]},"DOI":"10.1109\/tse.2017.2752158","type":"journal-article","created":{"date-parts":[[2017,9,14]],"date-time":"2017-09-14T18:13:17Z","timestamp":1505412797000},"page":"1112-1128","source":"Crossref","is-referenced-by-count":1,"title":["Using Local Clocks to Reproduce Concurrency Bugs"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4719-1804","authenticated-orcid":false,"given":"Zhe","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1777-8110","authenticated-orcid":false,"given":"Chenggang","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiang","family":"Yuan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhenjiang","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianjun","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pen-Chung","family":"Yew","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaobing","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanyan","family":"Lan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3925-5185","authenticated-orcid":false,"given":"Yunji","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5885-0858","authenticated-orcid":false,"given":"Yuanming","family":"Lai","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yong","family":"Guan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","first-page":"3","article-title":"Why do computers stop and what can be done about it?","author":"gray","year":"1986","journal-title":"Proc Symp Reliability Distributed Software Database Syst"},{"article-title":"The Yices SMT solver","year":"0","author":"dutertre","key":"ref38"},{"year":"2010","key":"ref33"},{"year":"2014","key":"ref32"},{"year":"2014","key":"ref31"},{"year":"2016","key":"ref30"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2254064.2254119"},{"year":"2017","key":"ref36"},{"year":"2017","key":"ref35"},{"year":"2010","key":"ref34"},{"year":"2011","key":"ref10"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869481"},{"year":"2013","key":"ref11"},{"year":"2012","key":"ref12"},{"article-title":"MESIF: A two-hop cache coherence protocol for point-to-point interconnects","year":"2009","author":"goodman","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1987.1676929"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/1140277.1140303"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1346256.1346273"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1811039.1811057"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629593"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/1815961.1815985"},{"key":"ref28","first-page":"337","article-title":"Z3: An efficient SMT solver","author":"de moura","year":"2008","journal-title":"Proc Theory Practice Softw 14th Int Conf Tools Algorithms Construction Anal Syst"},{"key":"ref4","first-page":"263","article-title":"CUTE: A concolic unit testing\n engine for C","author":"sen","year":"0","journal-title":"Proc 10th Eur Softw Eng Conf Held Jointly 13th ACM SIGSOFT Int Symp Found Softw Eng"},{"key":"ref27","first-page":"207","article-title":"LEAP:\n Lightweight deterministic multi-processor replay of concurrent Java programs","author":"huang","year":"2010","journal-title":"Proc of the ACM SIGSOFT Int'l Symp on the Foundations of Softw Eng"},{"year":"2004","key":"ref3","article-title":"Software bug contributed to blackout."},{"key":"ref6","first-page":"141","article-title":"CLAP:\n Recording local executions to reproduce concurrency failures","author":"huang","year":"2013","journal-title":"Proc ACM SIGPLAN Conf Programming Lang Des Implementation"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/ISCA.1995.524546"},{"year":"2010","key":"ref5"},{"year":"2017","key":"ref8"},{"year":"2017","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.1993.274940"},{"year":"2012","key":"ref9"},{"key":"ref1","first-page":"329","article-title":"Learning from mistakes a comprehensive study of real\n world concurrency bug characteristics","author":"lu","year":"2008","journal-title":"Proc Int Conf Arch Support Program Lang Operat Syst"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736031"},{"key":"ref22","first-page":"289","article-title":"Delorean: Recording and deterministically replaying shared-memory multi-processor execution efficiently","author":"montesinos","year":"2008","journal-title":"Proc 37th Annu Int Symp Comput Archit"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629594"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738001"},{"key":"ref24","first-page":"122","article-title":"A “flight data\n recorder","author":"xu","year":"2003","journal-title":"Proc 37th Annu Int Symp Comput Archit"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2012.6263953"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/1736020.1736039"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037751"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/1394608.1382144"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568236"},{"key":"ref25","article-title":"DoublePlay: Parallelizing sequential logging\n and replay","author":"veeraraghavan","year":"2012","journal-title":"Proc Int Conf Arch Support Program Lang Operat Syst"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/8532001\/08038023.pdf?arnumber=8038023","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T20:20:50Z","timestamp":1643228450000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8038023\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11,1]]},"references-count":44,"journal-issue":{"issue":"11"},"URL":"https:\/\/doi.org\/10.1109\/tse.2017.2752158","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2018,11,1]]}}}