{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2023,2,14]]，“日期时间”：“2023-02-14T21:30:21Z”，“时间戳”：1676410221207}，“出版商位置”：“柏林，海德堡”，“参考计数”：27，“出版者”：“施普林格-柏林-海德堡（Springer Berlin Heidelberg）”，“isbn-type”：[{“值”：“9783642329425”，“类型”：打印“}，{”值“：“9783642329432”，“type”：“electronic”}]，“content domain”：｛“domain”：[]，“crossmark restriction”：false｝，“short container title”：[]，“published print”：｛“date parts”：[[2012]]｝，“DOI”：“10.1007\/978-3-642-32943-2_7”，“type”：“book chapter”，“created”：｛“date parts”：[[2012,8,28]，“date time”：“2012-08-28T04:59:35Z”，“timestamp”：1346129975000｝，“page”：“90-90-90-90”104英寸，“source”：“Crossref”，“is-referenced-by-count”：4，“title”：[“Using Semantics Specified in Maude to Generate Test Cases”]，“prefix”：“10.1007”，”author“：[{”given“：”Adri\u00e1n“，”family“：”Riesco“，”sequence“：”first“，“affiliation”：[]}]，“member”：“297”，“reference”：[}“key”：”“7_CR1”：“Beck，K.，Gamma，E.：测试感染：程序员喜欢编写测试，第357\u2013376页。剑桥大学出版社（2000）“，”DOI“：”10.1017\/CBO9780511550881.029“}，{”key“：”7_CR2“，”DOI-asserted-by“：”publisher“，”first page“：“35”，“DOI”：“10.1016\/S0304-3975（99）00206-6”，“volume”：“236”，“author”：“A.Bouhoula”，“year”：“2000”，“unstructured”：“Bouhoula，A.，Jouannaud，J.-P.，Meseguer，J.：成员关系等式逻辑中的规范和证明。理论计算机科学\u00a0236，35\u2013132（2000）“，“journal-title”：“理论计算机科学”}，{“key”：“7_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Cartaxo，E.G.，Neto，F.G.O.，Machado，P.D.L.：通过UML序列图和标记的转换系统生成测试用例。摘自：IEEE系统、人与控制论国际会议论文集，SMC 2007，第1292\u20131297页。IEEE（2007）“，”DOI“：”10.1109\/ICSMC.2007.4414060“}，{“key”：“7_CR4”，“DOI-asserted-by”：“crossref”，“unstructured”：“Claessen，K.，Hughes，J.：Quickcheck:Haskell程序随机测试的轻量级工具。收录：ACM SIGPLAN Notices，pp.268\u2013279。ACM出版社（2000）“，”DOI“：”10.1145\/357766.351266“}，{”key“：”7_CR5“，”series-title“：”计算机科学讲义“，”volume-title“：“关于Maude的一切-一个高性能逻辑框架”，“年份”：“2007”，“非结构化”：“Clavel，M.，Dur\u00e1n，F.，Eker，S.，Lincoln，P.，Mart\u00ed-Oliet，N.，Meseguer，J.，Talcott，C.（eds.）：《关于莫德-高性能逻辑框架》，LNCS，第\u00a04350卷。Springer，Heidelberg（2007）“}，{“key”：“7_CR6”，“unstructured”：“Clavel，M.，Dur\u00e1n，F.，Eker，S.，Lincoln，P.，Mart\u00ed-Oliet，N.，Meseguer，J.，Talcott，C.：Maude Manual（2.6版）（2011年1月），\N\N http://Maude.cs.uiuc.edu，maude2-Manual”}“：”Ellison，C.，Ro\u015fu，G.：C与应用程序的可执行形式语义。摘自：第39届程序设计语言原理研讨会论文集，POPL 2012，第533\u2013544页。ACM（2012）“，“DOI”：“10.1145\/2103656.2103719”}，{“key”：“7_CR8”，“unstructured”：“Fay，M.J.：方程理论中的一阶统一。摘自：Joyner，W.H.（ed.）《第四届自动演绎研讨会论文集》，第161\u2013167页。学术出版社（1979）“}，{“key”：“7_CR9”，“doi-asserted-by”：“crossref”，“unstructured”：“Fischer，S.，Kuchen，H.：功能逻辑程序的glass-box测试用例的系统生成。摘自：《第九届ACM SIGPLAN声明式编程原理与实践国际会议论文集》，PPDP 2007，第63\u201374页。美国计算机学会出版社（2007）“，”DOI“：”10.1145\/1273920.1273930“}，{”key“：”7_CR10“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：Gaudel，M.-C.：基于形式规范的软件测试。收录：Borba，P.、Cavalcanti，A.、Sampaio，A.、Woodcook，J.（编辑）PSSE 2007。LNCS，第u00a06153卷，第215\u2013242页。Springer，Heidelberg（2010）“}，{”key“：“7_CR11”，”doi-asserted-by“：”publisher“，”first page“：”659“，”doi“：”10.1017\/S1471068410000347“，“volume”：“10”，“author”：“M.Gomez-Zamalloa”，“year”：“2010”，“unstructured”：“Gomez-Zamalloa，M.，Albert，E.，Puebla，G.：CLP中面向对象命令式语言的测试用例生成。逻辑编程理论与实践\u00a010，659\u2013674（2010）“，”杂志标题“：”逻辑编程理论和实践“}，{“问题”：“2”，“关键”：“7_CR12”，”doi-asserted-by“：”publisher“，”首页“：”1“，”doi“：”10.1145\/1459352.1459354“，”卷“：”41“，”作者“：”R.M.Hierons“，”年份“：”2009“，”非结构化“：”Hierons，R.M.、Bogdanov，K.、Bowen，J.P.、Rance Cleaveland，J.D.、Dick，J.、Gheorghe，M.、Harman，M.，Kapoor，K.，Krause，P.、L\u00fcttgen，G.、Simons，A.J.H.、Vilkomir，S.、Woodward，M.R.、Zedan，H.：使用正式规范支持测试。ACM Computing Surveys \u00a041（2），1\u201376（2009）“，”journal-title“：”ACM Computering Surveys“}，{“key”：“7_CR13”，“doi-asserted-by”：“crossref”，“unstructured”：“Meadows，C.：将形式化方法应用于密钥管理协议的分析。计算机安全杂志\u00a 01（1992）”，“doi”：“10.3233\/JCS-1992-1102”}，}“issue”：“1”，“key“：”7_CR14“，”doi-asserted-by“：”publisher“，”first page“：”73“，”doi“：”10.1016\/0304-3975（92）90182-F“，“volume”：“96”，“author”：“J.Meseguer”，“year”：“1992”，“unstructured”：“Meseguel，J.：条件重写逻辑作为并发的统一模型。理论计算机科学\u00a096（1），73\u2013155Meseguer，J.，Ro\u015fu，G.：重写逻辑语义项目。理论计算机科学\u00a0373（3），213\u2013237（2007）“，”杂志标题：“理论计算机科学”}，{“key”：“7_CR16”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”244“，”doi“：”10.1007\/BFb0013830“，”volume-title“：”代数与逻辑编程“，”作者“：”A.Middeldorp“，”年份：“1992”，“非结构化“：”Middeldorp，A.，Hamoen，E.：基本窄化的完整性结果反例。在：Kirchner，H.，Levi，G.（编辑）ALP 1992。LNCS，第00a0632卷，第244\u2013258页。Springer，Heidelberg（1992）“}，{“key”：“7_CR17”，“unstructured”：“M\u00fcller，R.A.，Lembeck，C.，Kuchen，H.：用于生成测试用例的符号Java虚拟机。摘自：IASTED软件工程会议，第365\u2013371页（2004）”}，}，“key“：”7_CR18“，”doi-asserted-by“：”crossref“，”unstructure“：”Papadakis，M.，Sagonas，K.：类型和功能规范与基于属性的测试的PropEr集成。2011年ACM SIGPLAN Erlang研讨会论文集，第39\u201350页。美国计算机学会出版社（2011）“，”DOI“：”10.1145\/2034654.2034663“}，{”key“：”7_CR19“，”series-title“：”计算机科学课堂讲稿“，”DOI-asserted-by“：”publisher“，”first page“：“287”，“DOI”：“10.1007\/978-3642-28412-0_18”，“volume-title”：“代数发展技术的最新趋势”，“author”：“A.Riesco”，“year”：“2012”，“unstructured”：“Riesco，A.：莫德功能模块的测试用例生成。收录：Mossakowski，T.，Kreowski，H.-J.（编辑）WADT 2010。LNCS，第00a07137卷，第287页\u2013301。Springer，Heidelberg（2012）“}，{“key”：“7_CR20”，“doi-asserted-by”：“crossref”，“unstructured”：“Riesco，A.：使用窄化测试Maude规范。收录：Dur\u00e1n，F.（ed.）《第九届重写逻辑及其应用国际研讨会论文集》，WRLA 2012。LNCS公司。Springer（即将出版，2012年）“，”DOI“：”10.1007\/978-3642-34005-5_11“}，{”key“：”7_CR21“，”DOI-asserted-by“：”crossref“，”unstructured“：”Riesco，A.，Verdejo，A.，Mart\u00ed-Oliet，N.，Caballero，R.：重写逻辑规范的声明调试。《逻辑与代数编程杂志》（即将出版）“，“DOI”：”10.1016\/j.jlap.2011.06.004“}”，{“issue“：”1“，”key“：”7_CR22“，”doi-asserted-by“：”publisher“，”first-pages“：”23“，”doi“：”10.1145\/32120.321253“，”volume“：“12”，”author“：”J.A.Robinson“，”year“：”1965“，”unstructured“：”Robinson，J.A.：基于解析原理的面向机器的逻辑。ACM\u00a012（1），23\u201341（1965）“，”Journal-title“：”Journal of the ACM“}，{“key”：“7_CR23”，“doi-asserted-by”：“crossref”，“unstructured”：“Runciman，C.，Naylor，M.，Lindblad，F.：Smallcheck和Lazy Smallcheck:对小值的自动穷举测试。摘自：Gill，A.（ed.）第一届ACM SIGPLAN Haskell研讨会论文集，Haskell2008，第37\u201348页。ACM（2008）“，”DOI“：”10.1145\/1411286.1411292“}，{”key“：”7_CR24“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“374”，“DOI”：“10.1007\/978-3-540-95885-7_26”，“volume-title”：“膜计算”，“author”：“T.\u015eerb\u0103nu\u0163\u0103”，“年份”：“2009”，“非结构化”：“\u015eerb\u0103nu\u0163\u0103，T.，\u015etef\u0103descu，G.，Ro\u0155u，G.：用结构化数据定义和执行P系统。in:Corne，D.W.，Frisco，P.，P\u0103G.，Rozenberg，G..，Salomaa，A.（编辑）WMC 2008。LNCS，第u00a05391卷，第374\u2013393页。Springer，Heidelberg（2009）“}，{“问题”：“4”，“关键”：“7_CR25”，“doi-asserted-by”：“出版商”，“首页”：“622”，“doi”：“10.1145\/321850.321859”，“卷”：“21”，“作者”：“J.R.斯拉格”，“年份”：“1974”，“非结构化”：“斯拉格，J.R.：用简化符、交换性和关联性理论的自动理论证明。ACM\u00a021（4），622\u2013642（1974）“，”journal-title“：《美国医学杂志》（journal of the ACM）}，{”issue“：”1“，”key“：”7_CR26“，”doi-asserted-by“：”publisher“，”first-page“：”49“，”doi“：”10.1016\/S0169-7552（96）00017-7“，“volume”：“29”，“author”：“J.Tretmans”，“year”：“1996”，“unstructured”：“”Tretmans，J.：使用标记转换系统的一致性测试：实现关系和测试生成。计算机网络和ISDN系统\u00a029（1），49\u201379（1996）“，“期刊标题”：“计算机网络和ISDN系统”}，{“密钥”：“7_CR27”，“doi-asserted-by”：“出版商”，“首页”：“226”，“doi”：“10.1016\/j.jlap.2005.09.008”，“卷”：“67”，“作者”：“A.Verdejo”，“年份”：“2006”，“非结构化”：“Verdejo，A.，Mart\u00ed-Oliet，N.：Maude中的可执行结构操作语义。《逻辑与代数程序设计杂志》（Journal of Logic and Algebraic Programming）\u00a067，226\u2013293（2006）“，“期刊标题”：“逻辑与代数编程杂志”}]，“容器标题”：[“计算的理论方面\u2013 ICTAC 2012”，“计算机科学讲义”]，“原文标题”：[]，“链接”：[{“URL”：“http:\/\/link.springer.com/content\/pdf\/10.1007\/978-3642-32943-2_7.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2021,5,4]，”date-time“：“2021-05-04T11:49:49Z”，”timestamp“：1620128989000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3642-32943-2_7“}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期-部件“：[[2012]]}，“ISBN”：[“9783642329425”，“978364 2329432”]，”引用计数“：27，”URL“：”http://\/dx.doi.org\/10.1007\/9783-642-3294 3-2_7”，“关系”：{}，：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“value”：“0302-7743”value“：“1611-3349”，“type”：“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2012]]}}