{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[2022,4,2]，“日期时间”：“2022-04-02T12:34:08Z”，“时间戳”：1648902848305}，“引用-计数”：65，“出版商”：“Springer Science and Business Media LLC”，“问题”：“6”，“许可证”：[{“开始”：}“日期部分“：[2020,9,1]]，“日期-时间”：“2020-09-01T00:00:00Z”，“timestamp”：1598918400000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com/tdm”}，{“start”：{“date-parts”：[[2020,9,1]]，“date-time”：“2020-09-01T00:00:00Z”，“timetamp”：1588918400000neneneep，“content-version”：“vor”，“delay-in-days”：“0，”URL“https://www.springer.com \/tdm“}]，“出资人”：[{“DOI”：“10.13039\/10000181”，“名称”：“空军科学研究办公室”，“doi-asserted-by”：“crossref”，“adward”：[“AFOSR-FA9550-12-1-044和AFOSR-FA9550-17-1-0205”]}，{“name”：“NSF”，“award”：[”1217748“]}、{“name:”DOE“，”adward“：[”1403482：[“LLNL-B627261和LLNL-B631308”]}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[“Empir Software Eng”]，”published-print“：{”date-parts“：[[2020,11]]}，”DOI“：”10.1007\/s10664-020-09862-3“，”type“：”journal-article“，”created“：{”date-parts“：[2020,9,1]]，”date-time“：”2020-09-01T18:45:46Z“，“时间戳”：1598985946000}，“页面”：“4676-4706”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“source”：“Crossref”、“is-referenced-by-count”：0，“title”：[“BarrierFinder:识别临时屏障”]，“prefix”：“10.1007”，”volume“：”25“，”author“：[{”given“：“Tao”，“family”：“Wang”，“sequence”：“first”，“affiliation”：[]}，{“given”：“肖”，“家”：“余”，“序列”：“additional”，“affiliation”：[]}，{“given”：“Zhengyi”，“family”：“Qium”，“sequence”：“addressional”，“filiation“：[]{”given“：”Guoliang“，”family“：”Jin“，”sequence“：”additional“，”affiliance“：[]}，”ORCID“：“http://\/ORCID.org\/00000-0002-0258-0294”，“authenticated-ORCID”：false，“givent”：“Frank”，”faily“：“Mueller”，“serquence”“：”additional“”，“隶属关系”：[]}]，“成员”：“297”，“在线发布”：{“日期部分”：[[2020,9,1]]}，“参考”：[{“密钥”：“9862_CR1”，“非结构化”：“Andersen LO（1994）c编程语言的程序分析和专业化。博士论文，科芬哈根大学”}，{“密钥”：“9862_CR2”，“doi断言由”：“publisher”，“非结构化”：“Beschatnikh I，Brun Y，Ernst MD，Krishnamurthy A，Anderson TE（2011）从部分有序日志中挖掘时间不变量。In：通过系统日志分析和机器学习技术的应用来管理大型系统。ACM，美国纽约州纽约市，SLAML\u201911，3:1-3:10。https:\/\/doi.org\/10.1145\/2038633.2038636“，”doi“：”10.1145\/2038663.32038636“}，{”key“：”9862_CR3“，”doi-asserted-by“：”publisher“，”unstructured“：”Beschatnikh I，Brun Y，Ernst MD，Krishnamurthy A（2014）使用csight从并发系统的行为日志推断并发系统的模型。在：第36届软件工程国际会议论文集，ACM，美国纽约州纽约市，ICSE 2014，第468\u2013479页，DOI https:\/\/DOI.org/10.1145\/25682252568246，（印刷版）“，”DOI“：”10.1145\/25682252568246“｝，｛”issue“：”2“，”key“：”9862_CR4“，”DOI断言“：”publisher“，”首页“：”66“，”DOI“：”10.1145\/16463531646374“，”volume“：”53“，”author“：”A Bessey“，”year“：”2010“，”unstructured“：”Bessey A，Block K，Chelf B，Chou A，Fulton B，Hallem S，Henri-Gros C，Kamsky A，McPeak S，Engler D（2010）之后的数十亿行代码：使用静态分析发现现实世界中的错误。通信ACM 53（2）：66\u201375。https:\/\/doi.org\/10.1145\/1646353.1646374“，”journal-title“：”Commun ACM“}，{“key”：“9862_CR5”，“doi-asserted-by”：“publisher”，“unstructured”：“Bindal S，Bansal S，Lal A（2013）多线程程序系统测试的变量和线程边界。摘自：《2013年软件测试与分析国际研讨会论文集》，美国纽约州纽约市ACM，ISSTA 2013，145\u2013155。https:\/\/doi.org\/10.1145\/24837760.2483764“，”doi“：”10.1145\/2483660.2483764”}，{“key”：“9862_CR6”，“doi-asserted-by”：“publisher”，“unstructured”：“Blum B，Gibson G（2016）使用数据空间抢占点进行无状态模型检查。摘自：《2016年ACM SIGPLAN面向对象编程、系统、语言和应用国际会议论文集》，美国纽约州纽约市ACM，OOPSLA 2016，477\u2013493，https:\/\/doi.org\/10.1145\/2983990.2984036“，”doi“：”10.1145\/29839 90.29840.36“}，{“key”：“9862_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Bucur S、Ureche V、Zamfir C、Candea G（2011）自动化现实世界软件测试的并行符号执行。收录：第六届计算机系统会议记录。ACM，第183\u2013198页“，”DOI“：”10.1145\/1966445.1966463“}，{”issue“：”POPL“，”key“：”9862_CR8“，”DOI-asserted-by“：”publisher“，“first page”：“31:1”，“DOI”：“10.1145\/3158119”，”volume“：“2”，“author”：“M Chalupa”，“year”：“2017”，“unstructured”：“Chalupa M，Chatterjee K，Pavlogiannis A，Sinha N，Vaidya K（2017）以数据为中心的动态部分订单缩减。Proc ACM程序语言2（POPL）：31:1\u201331:30。https:\/\/doi.org\/10.1145\/3158119“，“journal-title”：“Proc ACM Program Lang”}，{“key”：“9862_CR9”，“doi-asserted-by”：“publisher”，“unstructured”：“Chen C，Huo W，Feng X（2012）使其实用有效：快速准确的平行分析。摘自：第21届并行体系结构和编译技术国际会议论文集。美国纽约州纽约市ACM，PACT\u201912，469\u2013470。https:\/\/doi.org\/10.1145\/2370816.2370900“，”doi“：”10.1145\/2370816.2370900“}，{”key“：”9862_CR10“，”doi-asserted-by“：”crossref“，”unstructured“：”Chen G，Stenstrom P（2012）关键锁分析：诊断多线程应用程序中的关键部分瓶颈。收录：高性能计算、网络、存储和分析国际会议论文集。IEEE Computer Society Press，Los Alamitos，CA，USA，SC\u201912，71:1\u201371:11。http://\/dl.acm.org\/citation.cfm？id=2388996.2389093“，”DOI“：”10.1109\/SC.2012.40“}，{“key”：“9862_CR11”，“unstructured”：“IBM corporation（1998）多线程编程的软件模型。http://\/www-01.IBM.com/Software\/network\/dce\/library\/publications\/dceaix_22\/a3u2j\/A3U2JM53.HTM”}，“key“：”9862_CR12“，”DOI-asserted-by“：”publisher“，”unstructure“：”Cui H、Simsa J、Lin Y-H、Li H、Blum B、Xu X、Yang J、Gibson G、Bryant RE（2013）《鹦鹉：确定性、稳定和可靠线程的实用运行时》。摘自：美国纽约州纽约市计算机械协会第二十四届ACM操作系统原理研讨会论文集，SOSP\u201913，388\u2013405。https:\/\/doi.org\/10.1145\/2517349.2522735“，”doi“：”10.1145\/25173 49.252735“}，{”issue“：”2“，”key“：”9862_CR13“，”doi-asserted-by“：”publisher“，”first page“：“23:23:1”，”doi:“10.1145\/2766451”，“volume”：“12”，“author”：“M Das”，“year”：“2015”，“unstructured”：“Das M，Southern G，Renau J（2015）基于分段的程序分析，以减少检测非同步线程通信的开销。ACM Trans Archit Code Optim 12（2）：23:23:1\u201323:23:26。https:\/\/doi.org\/10.1145\/2766451“，”journal-title“：”ACM Trans-Archit Code Optim“}，{“key”：“9862_CR14”，“doi-asserted-by”：“publisher”，“unstructured”：“Di P，Sui Y，Ye D，Xue J（2015）基于区域的c程序may-happen并行分析。in:并行处理（ICPP），2015年第44届国际会议，第889\u2013898页。https:\/\/doi.org\/10.109\/ICPP.2015.98“，”doi“：”10.1109\/ICP.2015.98“}，{“问题”：“1”，“密钥”：“9862_CR15”，“doi-asserted-by”：“publisher”，“首页”：“35”，“doi”：“10.1016\/j.scico.2007.01.015”，”卷“69”，“作者”：“MD Ernst”，年：“2007”，“非结构化”：“Ernst MD，Perkins JH，Guo PJ、McCamant S、Pacheco C、Tschantz MS、Xiao C（2007）动态检测可能不变量的daikon系统。Sci Comput Program 69（1）：35\u201345“，“journal-title”：“Sci Compute Program”}，{“key”：“9862_CR16”，“unstructured”：“Farchi E，Nir Y，Ur S（2003）并发错误模式和如何测试它们。In:并行和分布式处理研讨会，2003。诉讼程序。国际。IEEE，pp 7\u2013pp“}，{“key”：“9862_CR17”，“doi-asserted-by”：“publisher”，“unstructured”：“Gallagher KB（2004）关于过程间程序切片的一些注释。In:Source Code Analysis and Manipulation，2004。第四届IEEE国际研讨会，第36\u201342页。https:\/\/doi.org\/10.109\/SCAM.2004.21“，”doi“：”10.1109\/SCAM.2004.21“}，{”issue“：”2“，”key“：”9862_CR18“，”doi-asserted-by“：”publisher“，”first page“：“197”，”doi:“10.1007\/s10515-009-0048-x”，“volume”：“16”，“author”：“D Giffhorn”，“year”：“2009”，“unstructured”：“Giffhord D，Hammer C（2009年）并发程序的精确切片。自动化软件工程16（2）：197\u2013234。https://doi.org/10.1007\\s10515-009-0048-x“，”期刊标题“：”自动化软件工程“}，｛”密钥“：”9862_CR19“，”doi断言“：”发布者“，”非结构化“：”Gu R，Jin G，Song L，Zhu L，Lu S（2015）关于线程同步，变更历史告诉了我们什么。摘自：《2015年第十届软件工程基础联席会议记录》，美国纽约州纽约市ACM，ESEC，FSE 2015，pp 426\u2013438。https:\/\/doi.org\/10.1145\/2786805.2786815。http:\/\/doi.acm.org.prox.lib.ncsu.edu\/10.1145\/2786805.2786815“，”doi“：”10.1145\/27868 05.27868“}，{“key”：“9862_CR20”，“doi-asserted-by”：“publisher”，“unstructured”：“Hardekopf B，Lin C（2007）蚂蚁和蚱蜢：对数百万行代码进行快速准确的指针分析。摘自：《第28届ACM SIGPLAN编程语言设计与实现会议论文集》，美国纽约州纽约市ACM，PLDI\u201907，290\u2013299。https:\/\/doi.org\/10.1145\/1250734.1250767“，”doi“：”10.1145\/125074.1250767“}，{“key”：“9862_CR21”，“unstructured”：“Herb S（2005）免费午餐结束了：软件并发的根本转向。http://www.gotw.ca\/publications\/concurrency-ddj.htm）我应该使用哪种指针分析？摘自：2000年ACM SIGSOFT国际软件测试与分析研讨会论文集，美国纽约州纽约市ACM，ISSTA\u201900，113\u2013123 https://\/doi.org\/10.1145\/347324.348916“，”doi“：”10.1145\/34732.348916”}，{“issue”：“1”，“key”：“9862_CR23”，“doi-asserted-by”：“publisher”，“first page”：”26“，“doi”：“10.1145\/77608”，“volume”：“12”，“作者：“S Horwitz”，“year”：“1990”，“unstructured”：“Horwicz S，Reps T，Binkley D（1990）使用依赖图进行跨过程切片。ACM Trans Program Lang Syst 12（1）：26\u201360。https:\/\/doi.org\/10.1145\/77607608“，”journal-title“：”ACM Trans-Program Lang Syst“}，{”key“：”9862_CR24“，”doi-asserted-by“：”crossref“，”unstructured“：”Jannesari A，Tichy WF（2010）《识别自组织同步以增强种族检测》。摘自：2010 IEEE并行与分布式处理国际研讨会（IPDPS）。IEEE，pp 1\u201310“，”DOI“：”10.1109\/IPDPS.2010.5470343“｝，｛“issue”：“10”，“key”：“9862_CR25”，“DOI asserted by”：“publisher”，“first page”：“2606”，“DOI”：“10.1109\/TPDS.2013.209”，“volume”：“25”，“author”：“A Jannesari”，“year”：“2014”，“nonstructured”：“Jannesari A，Tichy WF（2014）Library independent data race detection。IEEE Transactions on Parallel and Distributed Systems 25（10）：2606\u20132616“，”journal-title“：”IEEE Transactions on Parallel and Distributed Systems“}，{“key”：“9862_CR26”，“doi-asserted-by”：“publisher”，“unstructured”：“Jin G，Song L，Zhang W，Lu S，Liblit B（2011）自动修复原子性冲突。摘自：《第32届ACM SIGPLAN编程语言设计与实现会议论文集》，美国纽约州纽约市ACM，PLDI\u201911，389\u2013400 https:\/\/doi.org\/10.1145\/1993498.1993544“，“doi”：“10.1145\/1993498.1999544”}，{“key”：“9862_CR27”，“unstructured”：“Jin G，Zhang W，Deng D，Liblit B，Lu S（2012）自动并发错误修复。收录于：《第十届USENIX操作系统设计与实现会议记录》，美国加州伯克利USENIX-协会，OSDI\u201912，pp 221\u2013236。http://\/dl.acm.org\/citation.cfm？id=2387880.2387902“}，{”key“：”9862_CR28“，”doi-asserted-by“：”publisher“，”unstructured“：”Kamil A，Yelick K（2006）具有文本对齐障碍的并行程序的并发分析。摘自：第18届并行计算语言和编译器国际会议论文集，施普林格，柏林，海德堡，LCPC\u201905，第185\u2013199页https://\/doi.org\/10.1007\/978-3-540-69330-7_13“，“doi”：“10.1007\/978-23-540-693 30-7_12”}，{“key”：“9862_CR29”，“doi-asserted-by”：“publisher”，“unstructured”：“Krinke J（2003）并发程序的上下文敏感切片。参见：第九届欧洲软件工程会议记录，与第十一届ACM SIGSOFT国际软件工程基础研讨会联合举行，ACM，纽约，纽约，美国，ESEC\/FSE-11，pp 178\u2013187。https:\/\/doi.org\/10.1145\/940071.940096“，”doi“：”10.1145\/9400709.40096“}，{”key“：”9862_CR30“，”doi-asserted-by“：”publisher“，”unstructured“：”Lee D，Chen PM，Flinn J，Narayanasamy S（2012）奇梅拉：决定论的混合程序分析。摘自：《第33届ACM SIGPLAN编程语言设计与实现会议论文集》，美国纽约州纽约市ACM，PLDI\u201912，第463\u2013474页。https:\/\/doi.org\/10.1145\/2254064.2254119“，”doi“：”10.1145\/22564064.254119“}，{”key“：”9862_CR31“，”doi-sserted-by“：”publisher“，”first page“：“194”，”doi:“10.1007\/11532378_15”，“volume-title”：“并发Java程序的实用MHP信息分析”，“author”：“L Li”，“year”：“2005”，“unstructured”：“Li L，Verbrugge C（2005）并发Java程序的实用MHP信息分析。柏林施普林格，第194\u2013208页。https:\/\/doi.org\/10.1007\/11532378_15“}，{“key”：“9862_CR32”，“doi-asserted-by”：“publisher”，“unstructured”：“Lu S，Park S，Seo E，Zhou Y（2008）从错误中学习：对真实世界并发错误特征的全面研究。摘自：《第13届编程语言和操作系统架构支持国际会议论文集》，美国纽约州纽约市ACM，ASPLOS XIII，pp 329\u2013339。https:\/\/doi.org\/10.1145\/1346281.1346323“，“doi”：“10.1145\/134681.1346323”}，{“key”：“9862_CR33”，“doi-asserted-by”：“publisher”，“unstructured”：“Lucia B，Ceze L，Strauss K（2010）Colorsafe：对调试和动态避免多变量原子性冲突的体系结构支持。摘自：第37届计算机体系结构国际研讨会论文集，美国纽约州纽约市ACM，ISCA\u201910，pp 222\u2013233。https:\/\/doi.org\/10.1145\/1815961.1815988“，”doi“：”10.1145\/18159 61.18159 88“}，{“问题”：“3”，“密钥”：“9862_CR34”，“doi-asserted-by”：“发布者”，“首页”：“275”，“doi”：“10.1007\/s10817-013-9290-9”，“卷”：“52”，“作者”：“马尔基斯”，“年份”：“2014”，“非结构化”：“Malkis A，Banerjee A（2014年）关于软件障碍验证中的自动化：经验报告。J Autom Reason 52（3）：275\u2013329。https:\/\/doi.org\/10.1007\/s10817-013-9290-9“，”journal-title“：”J Autom Reason“}，{“key”：“9862_CR35”，“doi-asserted-by”：“crossref”，“unstructured”：“Mazurkiewicz A（1987）轨迹理论。In：《1986年Petri网的进展》，第二部分：Petri网：与其他并发模型的应用和关系。Springer，New York，Inc.，纽约，第279\u2013324页。http://\/dl.acm.org\/citation.cfm？id=25542.25553“，”DOI“：”10.1007\/3-540-17906-2_30“}，{”key“：”9862_CR36“，”DOI-asserted-by“：”publisher“，”unstructured“：”Musuvathi M，Qadeer S（2007）多线程程序系统测试的迭代上下文边界。摘自：第28届ACM SIGPLAN编程语言设计与实现会议记录。ACM，纽约，PLDI\u201907，第446\u2013455页。https:\/\/doi.org\/10.1145\/1250734.1250785“，”doi“：”10.1145\/125074.1250785“}，{“问题”：“6”，“密钥”：“9862_CR37”，“doi-asserted-by”：“发布者”，“首页”：“1088”，“doi”：“10.1145\/1186632.1186636”，“卷”：“28”，“作者”：“MG Nanda”，“年份”：“2006”，“非结构化”：“Nanda MG，Ramesh S（2006）使用java应用程序对多线程程序进行跨过程切片。ACM Trans Program Lang Syst 28（6）：1088\u20131144。https:\/\/doi.org\/10.1145\/1186632.1186636“，”journal-title“：”ACM Trans Program Lang Syst“}，{”key“：”9862_CR38“，”doi-asserted-by“：”publisher“，”unstructured“：”Park S，Lu S，Zhou Y（2009）Ctrigger：从隐藏的地方暴露违反原子性的错误。摘自：第14届国际编程语言和操作系统架构支持会议记录。美国纽约州纽约市ACM，ASPLOS XIV，25\u201336，DOI https:\\/DOI.org\/10.1145\/1508244.1508249https:\\//DOI.org\/10.1144\/15082 44.15082 49，（印刷版）“，”DOI“：”10.1145\/1508 24.15082 4910.1145\/15082 44.150 8249“}，{“问题”：“C”，“密钥”：“9862_CR39”，“DOI-asserted-by”：“publisher”，“首页”：“59”，“DOI”：“10.1016\/j.jss.2015.04.064”，“卷”：“106”，“author”：“W Torres”，“year”：“2015”，“unstructured”：“Pinto G，Torres W，Fernandes B，Castor F，Barros RS（2015）关于java\u2019s并发编程结构使用的大规模研究。系统软件杂志106（C）：59\u201381。https:\/\/doi.org\/10.1016\/j.jss.2015.04.064“，”journal-title“：”j Syst Softw“}，{”key“：”9862_CR40“，”doi-asserted-by“：”publisher“，”unstructured“：”Raman R，Zhao j，Sarkar V，Vechev M，Yahav E（2012）可扩展且精确的动态数据竞争检测，用于结构化并行。摘自：《第33届ACM SIGPLAN编程语言设计与实现会议论文集》，美国纽约州纽约市ACM，PLDI\u201912，pp 531\u2013542。https:\/\/doi.org\/10.1145\/2254064.2254127“，”doi“：”10.1145\/22540.64.2254107“}，{”key“：”9862_CR41“，”doi-asserted-by“：”publisher“，”unstructured“：”Sadowski C，Yi J（2014）开发人员如何使用数据竞争检测工具。摘自：关于编程语言和工具的评估和可用性的第五次研讨会会议记录。美国纽约州纽约市ACM，PLATEAU\u201914，第43\u201351页。https:\/\/doi.org\/10.1145\/268204.2688205“，”doi“：”10.1145\/2688204.26882005“}，{”key“：”9862_CR42“，”doi-asserted-by“：”publisher“，”unstructured“：”Shapiro M，Horwitz S（1997）快速准确的流动敏感点分析。摘自：第24届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。美国纽约州纽约市ACM，POPL\u201997，pp 1\u201314。https:\/\/doi.org\/10.1145\/263699.263703“，”doi“：”10.1145\/2636.99.263703”}，{“key”：“9862_CR43”，“unstructured”：“Slaby J（2015）Llvm-slicer.https:\//github.com\/jirislaby\/LLVMSlicer“}，”{“密钥”：“9962_CR44”，“doi-asserted-by”：“publisher”，“非结构化”：“Steensgaard B（1996）指向几乎线性时间内的分析。摘自：第23届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。美国纽约州纽约市ACM，POPL\u201996，pp 32\u201341 https:\/\/doi.org\/10.1145\/237721.237727“，“doi”：“10.1145\/23771.237727”}，{“key”：“9862_CR45”，“doi-asserted-by”：“publisher”，“unstructured”：“Surendran R，Raman R，Chaudhuri S，Mellor-Crummey J，Sarkar V（2014）结构化并行程序中数据竞争的测试驱动修复。在：第35届ACM SIGPLAN编程语言设计与实现会议论文集。美国纽约州纽约市ACM，PLDI\u201914，第15\u201325页。https:\/\/doi.org\/10.1145\/2594291.2594335“，“doi”：“10.1145\/2594281.2594335”}，{“issue”：“7”，“key”：“9862_CR46”，“doi-asserted-by”：“publisher”，“first-pages”：“54”，“doi:”10.1145\/1095408.1095421“，”volume“3”，“author”：“H Sutter”，“year”：“2005”，“unstructured”：“Sutter H，Larus J（2005）软件和并发革命。队列3（7）：54\u201362。https:\/\/doi.org\/10.1145\/1095408.1095421“，”journal-title“：”Queue“}，{“key”：“9862_CR47”，“volume-title”：“同步算法和并发编程”，“author”：“G Taubenfeld”，“year”：“2006”，“unstructured”：“Taubenfeld G（2006）同步算法和并行编程。Prentice-Hall，Inc，Upper Saddle River”}，}“key:”9862_CR18“，”doi断言：“crossref”，“非结构化”：“Tian C，Nagarajan V，Gupta R，Tallam S（2008）同步操作的动态识别，以改进数据竞争检测。摘自：2008年软件测试与分析国际研讨会论文集。ACM，第143\u2013154页“，“DOI”：“10.1145\/1390630.1390649”}，{“问题”：“11”，“密钥”：“9862_CR49”，“首页”：“947”，“卷”：“39”，“作者”：“C Tian”，“年份”：“2009”，“非结构化”：“Tian C，Nagarajan V，Gupta R，Tallam S（2009）繁忙等待同步的自动动态检测。软件：实践与经验39（11）：947\u2013972”，“journal-title“：“软件：实践与经验”}，{“key”：“9862_CR50”，“doi-asserted-by”：“publisher”，“unstructured”：“Wang C，Chaudhuri S，Gupta A，Yang Y（2009）并发程序执行的符号修剪。摘自：欧洲软件工程会议第七届联席会议和ACM SIGSOFT软件工程基础研讨会论文集，美国纽约州纽约市ACM，ESEC\/FSE\u201909，第23\u201332页，https:\/\/doi.org\/10.1145\/1595696.1595702“，“doi”：“10.1145\/159596.1595702”}，{“key”：“9862_CR51”，“doi-asserted-by”：“publisher”，“unstructured”：“Wang T（2020）barriefinder复制软件包。https:\/\/doi.org\/10.5281\/zenodo.3902595“，“doi”：“10.5281\/zenodo.9902595”}，{“key”：“9862_CR52”，“doi-asserted-by”：“publisher”，“unstructured”：“Wang T，Yu X，Qiu Z，Jin G，Mueller F（2019）Barriefinder：识别特殊障碍。In:2019 IEEE软件维护与进化国际会议（ICSME），第323\u2013327页https:\/\/doi.org\/10.109\/ICSME.2019.00049“，”doi“：”10.1109\/ICSEM.2019.00099“}，{“key”：“9862_CR53”，“unstructured”：“Weiser M（1981）Program slicing.In:Proceedings of the 5th international conference on Software engineering。IEEE Press，第439\u2013449页”}，}“issue”：“4”，“key“：”9862_CR54“，”doi-asserted-by“：”publisher“，“first page”：“”352“，”DOI“：”10.1109\/TSE.1984.5010248“，”volume“：”SE-10“，”author“：”M Weiser“，”year“：”1984“，”unstructured“：”Weiser M（1984）Program slicing。IEEE Trans Softw Eng SE-10（4）：352\u2013357。https:\/\/doi.org\/10.109\/TSE.1984.5010248“，“journal-title”：“IEEE Trans-Softw Eng”}，{“key”：“9862_CR55”，“doi-asserted-by”：“publisher”，“unstructured”：“Woo SC，Ohara M，Torrie E，Singh JP，Gupta A（1995）splash-2项目：特征和方法考虑。在：第22届计算机体系结构年度国际研讨会论文集，ACM，美国纽约州纽约市，ISCA\u201995，第24\u201336页https:\/\/doi.org/10.1145\/223982.223990“，”doi“：”10.1145\/223982.223990“｝，｛“密钥”：“9862_CR56”，“doi断言者”：“出版商”，“首页”：“1”，“doi”：“10.1016\/j.infsof.2016.004.004”，“卷”：“76”，“作者”：“D Wu”，“年”：“2016年”，“非结构化”：“Wu D，Chen L，Zhou Y，Xu B（2016）关于c++并发结构的广泛实证研究。Inf Softw Technol 76:1\u201318“，“新闻标题”：“Inf Softw Technol”}，{“key”：“9862_CR57”，“unstructured”：“熊W，Park S，Zhang J，Zhou Y，Ma Z（2010）临时同步被认为是有害的。摘自：第九届USENIX操作系统设计与实现会议记录。USENIX协会，美国加利福尼亚州伯克利，OSDI\u201910，第163\u2013176页。http://\/dl.acm.org\/citation.cfm？id=1924943.1924955“}，{”key“：”9862_CR58“，”doi-asserted-by“：”crossref“，”unstructured“：”Yin L（2013）通过静态分析有效识别临时同步。In:并行计算语言和编译器国际研讨会，Springer，pp 187\u2013201“，”doi“：”10.1007\/978-3319-09967-5_11“}”，{“key”：“9862_CR59”，“doi-assert-by”：“”publisher”，“非结构化”：“Yu T，Pradel M（2016）Syncprof:检测、定位和优化同步瓶颈。摘自：美国纽约州纽约市ACM第25届软件测试与分析国际研讨会论文集，ISSTA 2016，第389\u2013400页，https:\/\/doi.org\/10.1145\/2931037.2931070“，“doi”：“10.1145\/2931077.2931070}”，{“key”：“9862_CR60”，“doi-asserted-by”：“publisher”，“unstructured”：“Yu X，Joshi P，Xu J，Jin G，Zhang H，Jiang G（2016）Cloudseer：通过交错日志对云基础设施进行工作流监控。摘自：《第二十届编程语言和操作系统架构支持国际会议论文集》，美国纽约州纽约市ACM，ASPLOS\u201916，pp 489\u2013502 https:\/\/doi.org\/10.1145\/2872362.2872407“，”doi“：”10.1145\/2872262.872407“}，{“key”：“9862_CR61”，“doi-asserted-by”：“publisher”，“unstructured”：“袁X，王Z，吴C，Yew P-C，王W，李J，徐D（2013）通过飞行试验进行同步识别。摘自：《第19届并行处理国际会议论文集》，柏林斯普林格，海德堡，Euro-Par\u201913，pp 4\u201315，https://\/doi.org\/10.1007\/978-3642-40047-6_3“，“doi”：“10.1007\/9783-642-40047-6_3”}，{“key”：“9862_CR62”，“doi-asserted-by”：“publisher”，“unstructured”：“Zhang W，Sun C，Lu S（2010）Conmem：通过面向效果的方法检测严重的并发错误。摘自：《第十五版ASPLOS关于编程语言和操作系统的体系结构支持的会议录》，美国纽约州纽约市ACM，ASPLOS XV，第179\u2013192页，https:\\//doi.org\/10.1145\/1736020.1736041“，”doi“：”10.1145\/173601736041“}，{“key”：“9862_CR63”，“doi-asserted-by”：“publisher”，“unstructured”：“Zhang W，Lim J，Olichandran R，Scherpelz J，Jin G，Lu S，Reps T（2011）Conseq：通过顺序错误检测并发错误。摘自：《第十六届编程语言和操作系统架构支持国际会议论文集》，美国纽约州纽约市ACM，ASPLOS XVI，251\u2013264，https:\/\/doi.org\/10.1145\/1950365.1950395“，“doi”：“10.1145\/1950365.1950395”}，{“key”：“9862_CR64”，“doi-asserted-by”：“publisher”，“unstructured”：“Zhang Y，Duesterwald E，Gao GR（2008）具有文本未对齐障碍的共享内存程序的并发性分析。收录：Adve V，Garzar \u00e1n MJ，Petersen P（eds）并行计算语言和编译器。Springer Berlin，pp 95\u2013109 https:\/\/doi.org\/10.1007\/978-3-540-85261-2_7“，“doi”：“10.1007\/9783-540-85261-2-7”}，{“key”：“9862_CR65”，“doi-asserted-by”：“publisher”，“unstructured”：“Zhao Q，Qiu Z，Jin G（2019）用于同步决定的语义感知调度策略。在：第24届并行编程原理与实践研讨会论文集，计算机械协会，美国纽约州纽约市，PPoPP\u201919，p 242\u2013256 https:\/\/doi.org/10.1145\/329883.3295731https:\/\/doi.org/10.1145\/329883.3295731“，doi”：“10.1145\/329883.3295731 10.1145\/329883.3295731”}]，“容器标题”：[”经验软件工程“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”https:\/\/link.springer.com/content\/pdf\/10007\/s10664-020-09862-3.pdf“，”content-type“：”application\/pdf“，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“URL”：“https:\//link.springer.com\/article\/10007\/s10664-010-09862-3\/full text.html“，”content-type“：”text\/html“，”content-version“：”vor“，”intended-application“：”text-mining“}，{“URL”：“https:\/\/link.springer.com/content\/pdf\/10.1007\/s10664-020-09862-3.pdf”，“content-type:”application\/pdf“，”content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部件”：[2021,9,1]]，“date-time”：“2021-09-01T00:29:24Z“，”timestamp“：1630456164000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/link.springer.com/10.1007\/s10664-020-09862-3”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2020,9,1]]}，‘references-count’：65，‘journal-sissue’：{‘issue'：“6”，“published-print”：{“日期部分”：[[2020,11]]}}，“alternative-id”：[“9862”]，“URL”：“http:\/\/dx.doi.org/10.1007\\s10664-020-09862-3“，”relationship“：｛｝，”ISSN“：[”1382-3256“，”1573-7616“]，”ISSN type“：[｛”value“：”1382-3256“，”type“：”print“｝，”value“：”1573-7616“，”type“：”electronic“｝]，”subject“：[]，”published“：｛”date parts“：[[2020,9,1]]｝，”assertion“：[｛”value“：”2020年9月1日“，”order“：1，“name”：“first_online”，“label”：“first online”，“group”：｛name“：”ArticleHistory“，”label“：”文章历史“}}]}}