{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,4]]，“日期时间”：“2024-09-04T23:58:16Z”，“时间戳”：1725494296040}，“出版商位置”：“柏林，海德堡”，“参考计数”：8，“出版者”：“斯普林格-柏林-海德堡“，”isbn-type“：[{”type“打印”，“值”：“9783838 540755951“}]，”内容域“：{“domain”：[]，“crossmark-restriction”：false}，“short-container-title”：[[]，“DOI”：“10.1007\/978-3-540-75596-8_28”，“type”：“book-chapter”，“created”：{”date-parts“：[[2007,11,3]]，“date-time”：“2007-11-03T14:03:37Z”，“timestamp”：1194098617000}，”page“394-409”，“source”：”Crossref“，”is-referenced-by-count“：0，”title“”：[“测试复杂异构系统的形式方法”]，“前缀”：“10.1007”，“作者”：[{“given”：“Ismael”，“family”：“Rodr\u00edguez”，“sequence”：“first”，“affiliation”：[]}，{“给定”：“Manuel”，“家族”：“N\u00fa\u00f1ez”tle“：“计算机科学课堂讲稿”，“doi-asserted-by”：“crossref”，“first page”：“187”，《doi》：“10.1007\/3-540-45510-8_9”，“volume-title”：“MOVEP 2000”，“author”：“E.Brinksma”，“year”：“2001”，“unstructured”：“Brinksma，E.，Tretmans，J.：测试过渡系统：注释书目。收录：Cassez，F.，Jard，C.，Rozoy，B.，Dermot，M.（eds.）MOVEP 2000。LNCS，第00a02067卷，第187\u2013195页。Springer，Heidelberg（2001）“}，{“key”：“28_CR2”，“unstructured”：“ISO\/IEC 9646-1:1994。信息技术\u2013开放系统互连\u2013一致性测试方法和框架。第1部分：一般概念（1994）“}，{“问题”：“8”，“密钥”：“28_CR3”，“doi-asserted-by”：“publisher”，“首页”：“1090”，“doi”：“10.1109\/5.533956”，“卷”：“84”，“作者”：“D.Lee”，“年份”：“1996”，“非结构化”：“Lee，D.，Yannakakis，M.：测试有限状态机的原理和方法：一项调查。IEEE\u00a084（8），1090\u20131123（1996）“，“期刊标题”：“IEEE会议记录”}，{“问题”：“4”，“密钥”：“28_CR4”，”doi-asserted-by“：”publisher“，”first page“：”211“，“doi”：“10.1002\/stvr.323”，“卷”：“15”，“作者”：“M.N\u00fa\u00f1ez”，“年份”：“2005”，“非结构化”：“N\u00fa\u00f1ez，M.，Rodr\u00edguez，I.，Rubio，F.：电子商务系统中自治代理的规范和测试。软件测试、验证和可靠性\u00a015（4），211\u2013233年：“2001年”，“非结构化”：“Petrenko，A.：从有限状态模型导出的故障模型驱动测试：注释性参考书目。收录：Cassez，F.、Jard，C.、Rozoy，B.、Dermot，M.（编辑）MOVEP 2000。LNCS，卷\u00a02067，第196\u2013205页。Springer，Heidelberg（2001）“}，{”key“：”28_CR6“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”crossref“，”first page“：“39”，”doi“：”10.1007\/11754008_3“，“volume-title”：“TestCom 2006”，“author”：“I.Rodr\u00edguez”，“year”：“2006”，”unstructured“：”Rodr\u00edguez，I.，Merayo，M.G.，N\u00fa\u00f1ez，M.：评估异质测试假设集的逻辑。输入：Uyar，M.\u00dc。，Duale，A.Y.，Fecko，M.A.（编辑）TestCom 2006。LNCS，第00a03964卷，第39页\u201354。Springer，Heidelberg（2006）“}，{”key“：”28_CR7“，”doi-asserted-by“：”crossref“，”unstructured“：”Rodr\u00edguez，I.，Merayo，M.G.，N\u00fa\u00f1ez，M.：HOTL:假设和观察测试逻辑。《逻辑与代数编程杂志》（2007年出版），网址：\n\n http://\/dx.doi.org\/10.1016\/j.jlap.2007.01.001，“doi”：“10.1016\/j.jlap.2007.11.001”}，{“issue”：“4”，“key”：“28_CR8”，“doi-asserted-by”：“publisher”，“first page”：”366“，“doi:”10.1145\/267580.267590“，”volume“29”，“author”：“H.Zhu”，”year“：”1997“，”非结构化“：”Zhu，H.，Hall，P.A.V.，May，J.H.R.：软件单元测试覆盖率和充分性。ACM Computing Surverys\u00a029（4），366\u2013427（1997）“，”journal-title“：”ACM Competing Surverys“}]，”container-title”：[“计算机科学课堂讲稿”，“用于验证和分析的自动化技术”]，“original-title:[]，”language“：”en“，”link“：[{”URL“http://link.springer.com\/content\/pdf\/10007\/978-3-540-75596-8_28.pdf“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[2021,4,27]]，”date-time“：“2021-04-27T10:25:26Z”，”timestamp“：1619519126000}，”score“：1，”resource“：{primary”：{“URL”：“http://link.sprimary.com\/10007\/978-3-540-75596-8_28”}}，“subtittle”：[]，“短标题”：[]，”已发布“：{”date-parts“：[[null]]}，”ISBN“：[”9783540755951“]，”references-count“：8，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-540-75596-8_28“，”relation“：{}，“subject”：[]}}“