{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T01:54:13Z","timestamp":1776909253318,"version":"3.51.2"},"reference-count":61,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,2,1]],"date-time":"2022-02-01T00:00:00Z","timestamp":1643673600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100012166","name":"National Key Research and Development Program of China","doi-asserted-by":"publisher","award":["2016YFB1000201"],"award-info":[{"award-number":["2016YFB1000201"]}],"id":[{"id":"10.13039\/501100012166","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61802368"],"award-info":[{"award-number":["61802368"]}],"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":["61521092"],"award-info":[{"award-number":["61521092"]}],"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":["61432016"],"award-info":[{"award-number":["61432016"]}],"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":["61432018"],"award-info":[{"award-number":["61432018"]}],"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":["61332009"],"award-info":[{"award-number":["61332009"]}],"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":["61702485"],"award-info":[{"award-number":["61702485"]}],"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":["61872043"],"award-info":[{"award-number":["61872043"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CCF-Tencent Open Research Fund"},{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["DP170103956"],"award-info":[{"award-number":["DP170103956"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000923","name":"Australian Research Council","doi-asserted-by":"publisher","award":["DP180104069"],"award-info":[{"award-number":["DP180104069"]}],"id":[{"id":"10.13039\/501100000923","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2022,2,1]]},"DOI":"10.1109\/tse.2020.2999364","type":"journal-article","created":{"date-parts":[[2020,6,2]],"date-time":"2020-06-02T20:50:22Z","timestamp":1591131022000},"page":"662-677","source":"Crossref","is-referenced-by-count":11,"title":["CloudRaid: Detecting Distributed Concurrency Bugs via Log Mining and Enhancement"],"prefix":"10.1109","volume":"48","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-4162-0404","authenticated-orcid":false,"given":"Jie","family":"Lu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feng","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chen","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4476-0541","authenticated-orcid":false,"given":"Lian","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiaobing","family":"Feng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jingling","family":"Xue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523633"},{"key":"ref3","volume-title":"HBase: The Definitive Guide: Random Access to Your Planet-Size Data","author":"George","year":"2011"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1773912.1773922"},{"key":"ref5","first-page":"8","article-title":"Failure recovery: When the cure is worse than the disease","volume-title":"Proc. 14th USENIX Conf. Hot Topics Operating Syst.","author":"Guo"},{"key":"ref6","first-page":"249","article-title":"Simple testing can prevent most critical failures: An analysis of production failures in distributed data-intensive systems","volume-title":"Proc. 11th USENIX Conf. Operating Syst. Des. Implementation","author":"Yuan"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2670979.2670986"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2872362.2872374"},{"key":"ref9","first-page":"399","article-title":"SAMC: Semantic-aware model checking for fast discovery of deep bugs in cloud systems","volume-title":"Proc. 11th USENIX Conf. Operating Syst. Des. Implementation","author":"Leesatapornwongsa"},{"key":"ref10","first-page":"213","article-title":"MODIST: Transparent model checking of unmodified distributed systems","volume-title":"Proc. 6th USENIX Symp. Netw. Syst. Des. Implementation","author":"Lin"},{"key":"ref11","article-title":"dBug: Systematic evaluation of distributed systems","volume-title":"Proc. 5th Int. Conf. Syst. Softw. Verification","author":"Simsa"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/2043556.2043582"},{"key":"ref13","article-title":"HDFS architecture guide","author":"Team","year":"2018"},{"key":"ref14","article-title":"ZooKeeper: Wait-free coordination for internet-scale systems","volume-title":"Proc. USENIX Conf. USENIX Annu. Tech. Conf.","volume":"8","author":"Hunt"},{"issue":"4","key":"ref15","first-page":"28","article-title":"Apache flink: Stream and batch processing in a single engine","volume":"38","author":"Carbone","year":"2015","journal-title":"IEEE Data Eng. Bull."},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1629575.1629587"},{"key":"ref18","first-page":"629","article-title":"lprof: A non-intrusive request flow profiler for distributed systems","volume-title":"Proc. 11th USENIX Conf. Operating Syst. Des. Implementation","volume":"14","author":"Zhao"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025160"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2464157.2466483"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/3062341.3062360"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950296"},{"key":"ref24","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma","year":"1995"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1740390.1740411"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2110356.2110360"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.60"},{"key":"ref28","first-page":"293","article-title":"Be conservative: Enhancing failure diagnosis with proactive logging","volume-title":"Proc. 10th USENIX Symp. Operating Syst. Des. Implementation","author":"Yuan"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132778"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.2172\/1081941"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1145\/3168813"},{"key":"ref32","article-title":"Life, death, and the critical transition: Finding liveness bugs in systems code","volume-title":"Proc. 4th USENIX Conf. Netw. Syst. Des. Implementation","author":"Killian"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/3037697.3037735"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1543135.1542490"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1145\/2666356.2594330"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/265924.265927"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1145\/2248487.2150997"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1168917.1168864"},{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1816038.1815988"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236071"},{"key":"ref41","article-title":"FATE and DESTINI: A framework for cloud recovery testing","volume-title":"Proc. 8th USENIX Symp. Netw. Syst. Des. Implementation","author":"Gunawi"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1145\/2523616.2523622"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2524211.2524217"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/2287076.2287108"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCS.2010.63"},{"key":"ref46","article-title":"Fault injection framework","author":"Team","year":"2018"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048082"},{"key":"ref48","first-page":"1","article-title":"Towards automatically checking thousands of failures with micro-specifications","volume-title":"Proc. 6th Int. Conf. Hot Topics Syst. Dependability","author":"Gunawi"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3236030"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/2954679.2872407"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2094091.2094101"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1145\/1835804.1835883"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025151"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/SRDS.2011.11"},{"key":"ref55","first-page":"6","article-title":"SALSA: Analyzing logs as state machines","volume-title":"Proc. 1st USENIX Conf. Anal. Syst. Logs","volume":"8","author":"Tan"},{"key":"ref56","first-page":"217","article-title":"The mystery machine: End-to-end performance analysis of large-scale internet services","volume-title":"Proc. 11th USENIX Conf. Operating Syst. Des. Implementation","author":"Chow"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1145\/3133956.3134015"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2009.60"},{"key":"ref59","first-page":"26","article-title":"Structured comparative analysis of systems logs to diagnose performance problems","volume-title":"Proc. 9th USENIX Conf. Netw. Syst. Des. Implementation","author":"Nagaraj"},{"key":"ref60","first-page":"603","article-title":"Non-intrusive performance profiling for entire software stacks based on the flow reconstruction principle","volume-title":"Proc. 12th USENIX Conf. Operating Syst. Des. Implementation","author":"Zhao"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1145\/3341301.3359645"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1007\/s10664-016-9456-2"},{"key":"ref63","first-page":"139","article-title":"Log2: A cost-aware logging mechanism for performance diagnosis","volume-title":"Proc. USENIX Annu. Tech. Conf.","author":"Ding"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/9713735\/09106854.pdf?arnumber=9106854","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T22:31:02Z","timestamp":1704839462000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9106854\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2,1]]},"references-count":61,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/tse.2020.2999364","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"},{"value":"2326-3881","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,2,1]]}}}