{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,4,18]]，“日期时间”：“2024-04-18T15:53:16Z”，“时间戳”：1713455596600}，“出版商位置”：“查姆”，“参考计数”：28，“出版者”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783319997247”，“类型”：”打印“}，{“值”：“9783319997254”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2018,1,1]]，“date-time”：“2018-01-01T00:00:00Z”，“timestamp”：1514764800000}，“content-version”：“unspecified”，“delay-in-days”：0，“URL”：“http:\\/www.springer.com\/tdm”}]}，“short-container-title”：[]，“published-print”用法：{“date-parts”：[[2018]]}，“DOI”：“10.1007\/978-319-99725-4_22”，“type”：“book-chapter”，“created”：{《date-part》：[[2018，8，29]]，“date-time”：“2018-08-29T17:45:50Z”，“timestamp”：1535564750000}，”page“：”364-382“，”update-policy“http://dx.DOI.org\/10.10007\/springer_crossmark_policy“，”source“：”Crossref“，”is-referenced-by-count“：16，”title“：[“使用跟踪抽象进行增量验证”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Bat-Chen”，“家族”：“Rothenberg”，”sequence“：”first“，”affiliation“：[]}，”given“：”Daniel“，”family“：”Dietsch“，“，“published-online”：{“date-parts”：[[2018,8,29]]}，“reference”：[{“key”：“22_CR1”，“doi-asserted-by”：“crossref”，”unstructured“：”Adler，J.，Berryhill，R.，Veneris，A.：回归验证中非线性版本历史的版本调试。摘自：IEEE国际验证与安全研讨会（IVSW），pp.1\u20136。IEEE（2016）“，”DOI“：”10.1109\/IVSW.2016.756604“}，{”key“：”22_CR2“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“99”，“DOI”：“10.1007\/978-3642-39176-7_7”，“volume-title”：“模型检查软件”，“author”：“J Backs”，“year”：“2013”，“unstructured”：“”Backes，J.、Person，S.、Rungta，N.、Tkachuk，O.：使用影响摘要进行回归验证。收录：Bartocci，E.，Ramakrishnan，C.R.（编辑）SPIN 2013。LNCS，第7976卷，第99\u2013116页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-39176-7_7“}，{“key”：“22_CR3”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”234“，“doi”：“10.1007\/978-23-1925423-4_15”，“volume-title”：”形式方法和软件工程“，“author”：“B Beckert”，“year”：“2015”，“unstructured”：“Beckert，B.、Ulbrich，M.、Vogel-Heuser，B.、Weigl，A.：可编程逻辑控制器软件的回归验证。收录人：Butler，M.、Conchon，S.、Za\u00efdi，F.（编辑）ICFEM 2015。LNCS，第9407卷，第234\u2013251页。查姆施普林格（2015）。https:\/\/doi.org\/10007\/978-3-319-25423-4_15“}，{“key”：“22_CR4”，“doi-asserted-by”：“crossref”，“unstructured”：“Beyer，D.，L\u00f6we，S.，Novikov，E.，Stahlbauer，A.，Wendler，P.：有效回归验证的精度重用。摘自：2013年第九届软件工程基础联合会议记录，第389\u2013399（2013）页”，“DOI“：”10.1145\/2491411.2491429“}，{“key”：“22_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Bohme，M.，Oliveira，B.C.D.S.，Roychoudhury，A.，B\u00f6hme，M：基于分区的回归验证。摘自：《2013年国际软件工程会议论文集》，第302\u2013311页。IEEE Press（2013）“，“DOI”：“10.1109\/ICSE.2013.6606576”}，{“key”：“22_CR6”，“DOI-asserted-by”：“crossref”，“unstructured”：“Brandin，B.，Malik，R.，Dietrich，P.：增量系统验证和最低限制行为的合成。摘自：《2000年美国控制会议论文集》，第6卷，第4056\u20134061页。IEEE（2000）“，”DOI“：”10.1109\/ACC.2000.876984“}，{”key“：”22_CR7“，”series-title“：”计算机科学课堂讲稿“，”DOI-asserted-by“：”publisher“，”first page“：“119”，“DOI”：“10.1007\/978-3642-27940-9_9”，“volume-title”：“验证、模型检查和抽象解释”，“author”：“S Chaki”，“年份”：“2012”，“非结构化”：“Chaki，S.、Gurfinkel，A.、Strichman，O.：多线程程序的回归验证。收录人：Kuncak，V.，Rybalchenko，A.（编辑）VMCAI 2012。LNCS，第7148卷，第119页\u2013135。施普林格，海德堡（2012）。https:\/\/doi.org\/10.1007\/978-3642-27940-9_9“}，{“key”：“22_CR8”，“doi-asserted-by”：“crossref”，“unstructured”：“Chang，K.-H.，Papa，D.A.，Markov，I.L.，Bertaco，V.：InVerS：具有电路相似性度量和错误可视化的增量验证系统。在：2007年第八届国际质量电子设计研讨会，ISQED 2007，第487\u2013494页。IEEE（2007）“，“DOI”：“10.1109\/ISQED.2007.94”}，{“key”：“22_CR9”，“unstructured”：“Chockler，H.，Ivrii，A.，Matsliah，A.，Moran，S.，Nevo，Z.：硬件的增量形式验证。摘自：计算机辅助设计形式方法国际会议论文集，第135\u2013143页。FMCAD Inc.（2011）“}，{“key”：“22_CR10”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3319-10623-6”，“volume-title”：“Evolving Software的验证”，“author”：“H Chockler”，“year”：“2015”，“unstructured”：“Chockller，H.，Kroening，D.，Mariani，L.，Sharygina，N.：Evolving-Software的确认。Springer，Heidelberg（2015）”}，“{”key“：”22_CR11“，”doi-asserted-by“：”crossref“，”unstructured“：”Dietsch，D.，Heizmann，M.，Musa，B.，Nutz，A.，Podelski，A.：软件模型检查中的Craig vs.Newton。参见：ESEC\/FSE 2017，第487\u2013497页（2017）“，“DOI”：“10.1145\/3106237.3106307”}，{“key”：“22_CR12”，“DOI-asserted-by”：“crossref”，“unstructured”：“Fedyukovich，G.，Gurfinkel，A.，Sharygina，N.：编译器优化的增量验证。参见：NASA Formal Methods，第300\u2013306页（2014）”，“DOI:”10.1007\/978-3-19-06200-6_25“}，22_CR13“，”doi-asserted-by“：”crossref“，”unstructured“：”Felsing，D.，Grebing，S.，Klebanov，V.，R\u00fcmmer，P.，Ulbrich，M.：自动化回归验证。摘自：第29届IEEE\/ACM自动化软件工程国际会议，ASE 2014，pp.349\u2013360（2014）“，“DOI”：“10.1145\/2642937.2642987”}，{“key”：“22_CR14”，“series-title”：“计算机科学课堂讲稿”，“DOI-asserted-by”：“publisher”，“first page”：作者“：”V Forejt“，”year“：”2013“，”unstructured“：”Forejt-V.，Kwiatkowska，M.，Parker，D.，Qu，H.，Ujma，M.：概率系统的增量运行时验证。收录：Qadeer，S.，Tasiran，S.（编辑）RV 2012。LNCS，第7687卷，第314\u2013319页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-35632-2_30“}，{”key“：”22_CR15“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“310”，”doi“：”10.1007\/9783-319-41528-4_17“，”volume-title“：“计算机辅助验证”，”author“：”F He“，“年份”：“2016”，“非结构化”：“He，F.，Mao，S.，Wang，B.-Y.：基于学习的假设-保证回归验证。收录：Chaudhuri，S.，Farzan，A.（编辑）CAV 2016。LNCS，第9779卷，第310\u2013328页。查姆施普林格（2016）。https:\/\/doi.org/10.1007\/978-3-319-41528-4_17“｝，｛”key“：”22_CR16“，”系列标题“：”计算机科学讲义“，”doi断言“：”publisher“，”首页“：”69“，”doi“：”10.1007\/978-3-642-03237-0_7“，”卷标题“：”静态分析“，”作者“：”M Heizmann“，”年份“：”2009“，”非结构化“：”Heizmann，M.，Hoenicke，J.，Podelski，A.：痕迹抽象的细化。收录：Palsberg，J.，Su，Z.（编辑）SAS 2009。LNCS，第5673卷，第69\u201385页。斯普林格，海德堡（2009）。https:\/\/doi.org\/10.1007\/978-3642-03237-0_7“}，{”key“：”22_CR17“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“36”，”doi“：”10.1007\/9783-642-39799-8_2“，”volume-title“：“计算机辅助验证”，”author“：”M Heizmann“，”year“：”2013“，”unstructured“：”Heizmann，M.，Hoenicke，J.，Podelski，A.：为喜欢自动机的人进行软件模型检查。收录：Sharygina，N.，Veith，H.（编辑）CAV 2013。LNCS，第8044卷，第36\u201352页。斯普林格，海德堡（2013）。https:\/\/doi.org\/10.1007\/978-3642-39799-8_2“}，{“key”：“22_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Heizmann，M.et al.：Automizer和完美插值的搜索。In:TACAS 2018（2018，待发布）”，“doi”：“10.1007\/9783-319-89963-3_30”}，“key“：”22_CR19Johnson，K.，Calinescu，R.，Kikuchi，S.：基于组件的软件系统的增量验证框架。摘自：第16届国际ACM SIGSOFT基于组件的软件工程研讨会论文集，第33\u201342页。ACM（2013）“，”DOI“：”10.1145\/2465449.2465456“}，{”key“：”22_CR20“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“98”，“DOI”：“10.1007\/3-540-45319-9_8”，“volume-title”：“用于系统构建和分析的工具和算法”，“author”：“Y Lakhnech”，“year”：“2001”，“unstructured”：“”Lakhnech，Y.、Bensalem，S.、Berezin，S.和Owre，S.：通过抽象进行增量验证。收录：Margaria，T.，Yi，W.（编辑）TACAS 2001。LNCS，第2031卷，第98页\u2013112。斯普林格，海德堡（2001）。https:\/\/doi.org\/10.1007\/3-540-45319-9_8“}，{“key”：“22_CR21”，“doi-asserted-by”：“crossref”，“unstructured”：“Maksimovic，D.，Veneris，A.，Poulos，Z.：回归验证中基于聚类的修订调试。摘自：第33届IEEE国际计算机设计会议论文集，ICCD 2015，pp.32\u201337（2015）”，“doi”：“10.1109\/ICCD.2015.7357081“}，{“key”：“22_CR22”，“unstructured”：“Meseguer，P.：基于规则的专家系统的增量验证。摘自：《第十届欧洲人工智能会议论文集》，第840\u2013844页。Wiley（1992）“}，{“key”：“22_CR23”，“unstructured”：“Sery，O.，Fedyukovich，G.，Sharygina，N.：通过基于插值的函数摘要进行增量升级检查。In：计算机辅助设计的形式方法，FMCAD 2012，英国剑桥，2012年10月22日，pp.114\u2013121《计算机科学课堂讲稿》，“doi-asserted-by”：“publisher”，“first page”：“496”，“doi”：“10.1007\/978-3-540-69149-5_54”，“volume-title”：“验证的软件：理论、工具、实验”，“author”：“O Strichman”，“year”：“2008”，“unstructured”：“Strichman，O.，Godlin，B.：回归验证-验证程序的实用方法。收录：Meyer，B.，Woodcock，J.（编辑）VSTTE 2005。LNCS，第4171卷，第496\u2013501页。施普林格，海德堡（2008）。https:\/\/doi.org\/10.1007\/978-3-540-69149-5_54“}，{”key“：”22_CR25“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“645”，”doi“：”10.1007\/978-30-319-489898989-6_39“，”volume-title“：“FM 2016:Formal Methods”，”author“：”O Strichman“，”年份“：”2016“，”unstructured“：”Strichman，O.，Veitsman，M.：非平衡递归函数的回归验证。收录人：Fitzgerald，J.、Heitmeyer，C.、Gnesi，S.、Philippou，A.（编辑）FM 2016。LNCS，第9995卷，第645\u2013658页。查姆施普林格（2016）。https:\/\/doi.org\/10.1007\/978-3-319-48989-6_39“}，{”key“：”22_CR26“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“405”，”doi“：”10.1007\/978-30-319-66706-5_20“，”volume-title“：“静态分析”，”author“：”A Trostanetski“，”年份“：”2017“，”非结构化“：”Trostanetski，A.，Grumberg，O.，Kroening，D.：程序版本语义差异的模块化需求驱动分析。收录人：Ranzato，F.（编辑）SAS 2017。LNCS，第10422卷，第405\u2013427页。查姆施普林格（2017）。https:\/\/doi.org\/10.1007\/978-3-319-66706-5_20“}，{“key”：“22_CR27”，“unstructured”：“Venkatesh，M.B.：非函数回归验证的案例研究（2016）”}，}，“key“：”22_CR28“，”doi-asserted-by“：”crossref“，”unstructure“：”Visser，W.、Geldenhuys，J.、Dwyer，M.B.：绿色：减少、重用和回收程序分析中的约束。摘自：《ACM SIGSOFT第20届国际软件工程基础研讨会论文集》，第58:1\u201358:11（2012）页，“DOI”：“10.1145\/2393596.2393665”}]，“container-title”：[“静态分析”，“计算机科学讲义”]，“原文标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3-199725-4_22“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,10,23]]，”date-time“：“2019-10-23T04:57:07Z”，”timestamp“：1571806627000}，”score“：1，”resource“：{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-319-99725-4_22“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2018]]}，“ISBN”：[“9783319997247”，“97833997254”]，”引用计数“：28，”URL“：”http://\/dx.doi.org\/10.1007\/9783-319-99725-4_22“，”关系“：{}”，“ISS N“：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，“type”:“print”}，{“value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2018]]}}