{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,9,4]]，“日期时间”：“2023-09-04T18:21:22Z”，“时间戳”：1693851682036}，“参考计数”：36，“出版商”：“Springer Science and Business Media LLC”日期时间“：”2007-07-25T00:00:00Z“，“timestamp”：1185321600000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com/tdm”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”short-container-title“：[”Int J Softw Tools Technol Transf“]，”published-print“：{”date-parts“：[[2007,10,6]}”，“DOI”：“10.1007\/s1000 9-007-0043-0“，”类型“：”日记文章“，”创建“：{“date-parts”：[[2007,7,24]]，“date-time”：“2007-07-24T06:06:49Z”，“timestamp”：1185257209000}，“page”：“489-504”，“source”：”Crossref“，“is-referenced-by-count”：32，“title”：[“使用Indus和Kaveri切片并发Java程序”]，“前缀”：“10.1007”，“卷”：“9”，“作者”：[{“给定”：“Venkatesh Prasad”，“家族”：“Ranganath”，“sequence”“：”first“，”affiliation“：[]}，{“given”：“John”，“family”：“Hatcliff”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[[2007,7,25]]}，“reference”：[{“key”：”43_CR1“，”doi-asserted-by“：”crossref“，“unstructured”：“Agarwal，H.，Horgan，J.H.：动态程序切片。摘自：ACM SIGPLAN 1990年编程语言设计与实现会议论文集（PLDI\u201990），第246\u2013256页（1990）”，“DOI”：“10.1145\/93542.93576”}，{“key”：“43_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“Bacon，D.F.，Sweeney，P.F.：C++虚拟函数调用的快速静态分析。摘自：第十一届ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集（OOPSLA\u201996），pp.324\u2013341（1996）”，“DOI”：“10.1145\/236337.236371”}，{“issue”：“8”，“key”：“43_CR3”，“DOI-asserted-by”：“crossref”，“first page”：“489”，“DOI”：“10.1109\/32.624306”，“volume”：“23”，“author”：“D.Binkley”，“year”：“1997”，“unstructured”：“Binkley D.（1997）。语义引导回归测试成本降低。IEEE Trans.Softw.Eng.23：“Brat，G.，Havelund，K.，Park，S.，Visser，W.：Java PathFinder\u2014第二代Java模型检查器。In：Proceedings of the Workshop on Advances In Verification（2000）”｝，｛“key”：“43_CR5”，“doi asserted by”：“crossref”，“nonstructured”：“Corbett，J.C.，Dwyer，M.B.，Hatcliff，J.，Laubach，S.，P\u0103s\u0103renau，C.S.，Robby，Zheng，H.：Bandera:从Java源代码中提取有限状态模型。摘自：第22届国际软件工程会议论文集（ICSE\u201900），第439\u2013448页（2000）”，“DOI”：“10.1145\/337180.337234”}，{“key”：“43_CR6”，“非结构化”：“Dwyer，M.B.，Hatcliff，J.：模型构建的切片软件。In:Proceedings of Partial Evaluation and Semantic Based Program Manipulation（PEPM\u201999），pp.105\u2013118（1999）”}，{“key”：“43_CR7”，“doi-asserted-by”：“crossref”，“unstructured”：“Dwyer，M.B.，Hatcliff，J.，Hoosier，M.，Ranganath，V.，Robby，Wallentine，T.：评估切片对并发面向对象程序模型简化的有效性。摘自：《系统构建和分析工具和算法国际会议论文集》（TACAS\u201906），第73\u201389页（2006）”，“DOI”：“10.1007\/11691372_5”}，{“key”：“43_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Dwyer，M.B.，Person，S.，Elbaum，S.：评估路径敏感错误检测技术的控制因素。摘自：ACM SIGSOFT软件工程基础研讨会论文集（2006）”，“doi”：“10.21236\/ADA459081”}，“doi-asserted-by”：“crossref”，“unstructured”：“Hammer，C.，Snelting，G.：一种改进的Java切片器。In:ACM-SIGPLAN-SIGSOFT软件工具和工程程序分析研讨会论文集（PASTE\u201904），pp.17\u201322（2004）”，“doi”：“10.1145\/996821.996830”}，{“key”：“43_CR10”，“doi-asserted-by”：：“Hatcliff，J.，Corbett，J.C.，Dwyer，M.B.，Sokolowski，S.，Zheng，H.：对使用JVM并发原语的多线程程序切片的正式研究。摘自：1999年国际静态分析研讨会论文集（SAS\u201999），计算机科学讲义，pp.1\u201318（1999）”，“DOI”：“10.1007\/3-540-48294-6_1”}，{“key”：“43_CR11”，“doi-asserted-by”：“crossref”，“unstructured”：“Hatcliff，J.，Dwyer，M.B.，Zheng，H.：模型构建的切片软件。J.高阶符号计算。13（4），315\u2013353（2000）。一期特刊，包含1999年ACM SIGPLAN部分评估和程序操作研讨会的论文选集”，“doi”：“10.1023\/A:1026599015809”}，{“key”：“43_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Henzinger，T.A.，Jhala，R.，Majumdar，R.和Sutre，G.：Lazy abstration。摘自：《第29届程序设计语言原理年度研讨会论文集》（POPL\u201902），第75\u201383页（2002）”，“doi”：“10.1145\/503279”}，“doi-asserted-by”：“crossref”，“unstructured”：“Horwitz，S.，Pfeiffer，P.，Reps，T.W.：指针变量的依赖性分析。In:ACM SIGPLAN\u201989编程语言设计与实现会议论文集（PLDI\u2011989），第28\u201340页（1989）”，“doi”：“10.1145\/73141.74821”}，{“issue”：“1”，“key”：“43_CR14”，“doi-asserted-by”：“crossref”，“first-page”：“26”，“DOI”：“10.1145\/77608”，“volume”：“12”，“author”：“S.Horwitz”，“year”：“1990”，“unstructured”：“Horwicz S.，Reps T.和Binkley D.（1990）。使用依赖图的过程间切片。ACM Trans.Programm.Language Systems 12（1）：26\u201360”，“journal-title”：“ACM Trans.Programm.Language System”}，{“key”：”43_CR15“，“doi-asserted-by”：“crossref”，“unstructured”：“Krinke，J.：线程程序的静态切片。摘自：Proceedings ACM SIGPLAN/SIGFSOFT Workshop on Program Analysis for Software Tools and Engineering（PASTE\u201998），pp.35\u201342（1998）”，“doi”：“10.1145\/277631.277638”}，{“key”：“43_CR16”，“非结构化”：“Krinke，J.：顺序和并发程序的高级切片。博士论文，Fakult\u00e4t f\u00fcr Mathematik und Informatik，University\u00e 4t Passau（2003）”}，{“key”：“43_CR17”，“doi-asserted-by”：“crossref”，“unstructured”：“Krinke，J.：屏障分割和切割。摘自：第三届IEEE源代码分析和操作国际研讨会论文集（SCAM\u201903），第81\u201387页（2003）”，“DOI”：“10.1109\/SCAM.2003.1238034”}，{“key”：“43_CR18”，“DOI-asserted-by”：“crossref”，“unstructured”：“Krinke，J.：并发程序的上下文敏感切片。In:Proceedings of ESEC\/SIGSOFT FSE\u201903，pp.178\u2013187（2003）”，“DOI”：“10.1145\/940071.940096”}，{“key”：“43_CR19”，“DOI-asserted-by”：“crossref”，“unstructured”：“Krinke，J.：上下文敏感很重要，但上下文不重要。摘自：IEEE第四届源代码分析和操作国际研讨会论文集（SCAM\u201904），第29\u201335页（2004）”，“DOI”：“10.1109\/SCAM.2004.8”}，{“key”：“43_CR20”，“DOI-asserted-by”：“crossref”，“unstructured”：“Kumar，S.，Horwitz，S.：用跳跃和切换更好地划分程序。In:Proceedings of Fundamental Approachs of Software Engineering（FASE\u201902），pp.96\u2013112（2002）”，“DOI”：“10.1007\/3-540-45923-5_7”}，{“key”：“43_CR21”，“DOI-asserted-by”：“crossref”，“unstructured”：“Liang，D.，Harrold，M.J.：有效计算过程间分析的参数化指针信息。摘自：第八届国际静态分析研讨会论文集（SAS\u201901），第279\u2013298（2001）页”，“DOI”：“10.1007\/3-540-47764-0_16”}，{“key”：“43_CR22”，“非结构化”：“Millett，L.I.，Teitelbaum，T.：切片Promela及其在模型检查、仿真和协议理解中的应用。摘自：第四届国际SPIN研讨会论文集（SPIN\u201998）（1998）”}，{“key”：“43_CR23”，“非结构化”：“Nanda，M.G.：切片并发Java程序：问题和解决方案。印度理工学院博士论文，孟买（2001）”}，{“key”：“43_CR24”，“doi-asserted-by”：“crossref”，“unstructured”：“Nanda，M.G，Ramesh，S.：切片并行程序。In:软件测试与分析国际研讨会论文集（ISSTA\u201900），pp.180\u2013190（2000）“，“DOI”：“10.1145\/347324.349121”}，{“key”：“43_CR25”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ottenstein，K.，Ottensteen，L.：软件开发环境中的程序依赖图。摘自：ACM SIGPLAN/SIGSOFT实用软件开发环境研讨会论文集（PPDE\u201984），pp.177\u2013184（1984）“，”DOI“：”10.1145\/800020.808263“}，{”issue“：”8“，”key“：”43_CR26“，”DOI-asserted-by“：”crossref“，”first page“：“965”，“DOI”：“10.1109\/32.58784”，“volume”：“16”，“author”：“A.Podgurski”，“year”：“1990”，“unstructured”：“Podguerski A.and Clarke L.（1990）程序依赖性的正式模型及其对软件测试、调试和维护的影响。IEEE传输。柔和。工程16（8）：965\u2013979“，”期刊标题“：”IEEE Trans。柔和。Eng.“｝，｛”key“：”43_CR27“，”非结构化“：”Ranganath，V.P.：优化Java软件有限状态模型的对象流分析。堪萨斯州立大学计算与信息科学系硕士论文（2002）“｝，｛”key“：”43_CR28“，”非结构化“：”Ranganath，V.P.：程序依赖性分析、切片和并发面向对象程序验证的可伸缩且准确的方法。堪萨斯州立大学计算与信息科学系博士论文（2006年），{“密钥”：“43_CR29”，“非结构化”：“Ranganath，V.P.，Amtoft，T.，Banerjee，A.，Dwyer，M.B.，Hatcliff，J.：现代程序结构的控制依赖性和切片的新基础。摘自：《编程语言与系统》，第14届欧洲编程研讨会论文集（ESOP\u201905）（2005）。扩展版本可从以下网址获得：http://\/projects.cis.ksu.edu\/docman\/？group_id=12“}，{“key”：“43_CR30”，“doi-asserted-by”：“crossref”，“unstructured”：“Ranganath，V.P.，Hatcliff，J.：裁剪并发Java程序切片的干扰和就绪依赖关系。In:Proceedings of Compiler Construction（CC\u201904），pp.39\u201356（2004）”，“doi”：“10.1007\/978-3-540-24723-4_4”}，“key“：”43_CR31“，”doi-assert-by“：”crossref“，”unstructured“：”Ren，X.，Shah，F.，Tip，F.、Ryder，B.G.、Chesley，O.：Chianti:一种用于java程序变更影响分析的工具。摘自：第19届ACM SIGPLAN面向对象编程、系统、语言和应用年会论文集（OOPSLA\u201904），第432_u2013448页（2004）“，“DOI”：“10.1145\/1028976.1029012”}，{“key”：“43_CR32”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ruf，E.：Java的有效同步删除。摘自：ACM SIGPLAN 2000编程语言设计与实现会议记录（PLDI\u201900），第208\u2013218（2000）页程序切片技术综述。J程序。语言3:121\u2013189”，“新闻标题”：“J程序。语言”｝，｛“key”：“43_CR34”，“非结构化”：“Vall\u00e9e Rai，R.:SOOT:一个Java字节码优化框架。麦吉尔大学计算机科学学院硕士论文（2000）”｝，｛“key”：“43_CR35”，“doi asserted by”：“crossref”，“非结构化”：“Wang，Z.，Elbaum，S.，Rosenblum，D.：上下文软件测试的自动生成。被国际软件工程会议（ICSE\u201907）（2007）接受“，”DOI“：”10.1109\/ICSE.2007.18“}，{“issue”：“4”，“key”：“43_CR36”，“DOI-asserted-by”：“crossref”，“first-page:”352“，“DOI”：“10.1109\/TSE.1984.5010248”，“volume”：”10“author”：“M.Weiser”，“year”：“1984”，“unstructured”：“Weiser M.（1984）.程序切片。IEEE传输。柔和。工程10（4）：352\u2013357“，”期刊标题“：”IEEE Trans。柔和。Eng.“}”，“container-title”：[“国际技术转让软件工具杂志”]，“原始标题”：[]，“语言”：“en”，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/s10009-007-0043-0.pdf”，“内容类型”：“application\/pdf”，”content-version“：”vor“，”intended-application“：”text-mining“}，”{“网址”：“http:\/\/link.springer.com/article\/10.1007\/s10009-007-0043-0\/fulltext.html“，”content-type“：”text\/html“，”内容版本“：”vor“，”intended-application“：”text-mining“}，{”URL“：”http://\/link.springer.com\/content\/pdf\/10007\/s10009-007-0043-0“，”content-type”：“未指定”，“内容版本”：“vor”，“intended-application”：“相似y-检查“}]，”存放“：{“date-parts”：[[2019,5,29]]，“date-time”：“2019-05-29T07:25:23Z”，“timestamp”：1559114723000}，“score”：1，“resource”：{（主要）：{”URL“：”http:\\/link.springer.com\/10007\/s10009-007-0043-0“}}，”副标题“：[]，”短标题“：[]，“issued”：{“date-ports”：[2007,7,25]}，count“：36，”新闻发布“：{”发布“：“5-6”，”发布发布“：date-parts“：[[2007,10,6]]}}，”alternative-id“：[”43“]，”URL“：”http://\/dx.doi.org\/10.1007\/s10009-007-0043-0“，”relation“：{}，“ISSN”：[“1433-2779”，“1433-2787”]，“ISSN-type”：[{“value”：“1433-21779”，”type“：”print“}，{“value”：”1433-2786“，”types“：”electronic“}]，”subject“：[]，”已发布“：{”日期部分“：[[2007,7,25]]}}