{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[2022,4,5]]，“日期时间”：“2022-04-05T21:09:54Z”，“时间戳”：1649192994431}，“参考计数”：5，“出版商”：“电气与电子工程师学会（IEEE）”，“发行”：“3”，“许可证”：[{“开始”：{:“日期部分“：[2015,5,1]]，”日期时间我”：“2015-05-01T00:00:00Z”，“timestamp”：1430438400000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”shortcontainer-title“：[”ieee Softw.“]，”published-print“：{”date-parts“：[2015,5]]}，”内政部“：“10.1109\/ms.2015.60”，“type”：“journal-article”，“created”：{“date-parts”：[[2015,4,23]]，“date-time”：“2015-04-23T20:30:24Z”，“timestamp”：1429821024000}，“page”：”12-15“，“source”：：“Crossref”，“is-referenced-by-count”：1，“title”：[“Assertive Testing[Reliable Code]”]，“prefix”：”10.1109“，“volume”:“32”，“author”：[{“给定”：“Geral”rd J.“，”family“：”Holzmann“，”sequence“：“first”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref4”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-95279-1”}，{“密钥”：“ref3”，”doi-assert-by“：”publisher“，”doi“：”10.1109\/MAHC.2003.1203056“25”，“doi”：“10.1145\/1127878.1127900”，“文章标题”：“软件开发中运行时断言检查的历史观点”，“卷”：“31”，“作者”：“克拉克”，“年份”：“2006”，“日志标题”：“ACM SIGSOFT软件工程注释”}，{“key”：“ref2”，“article-title”：“为什么你应该阅读事故报告”，“author”：“holloway”：“在软件和复杂电子硬件标准化会议上的演示”}，{“key”：“ref1”，“first page”：第18页，“year”：“2014”，“journal title”：“F-35联合攻击战斗机完成软件测试可能会阻碍预期作战能力的交付”}]，“container-title”：[“IEEE软件”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/52\/7093013\/070933042.pdf？arnumber=7093042”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期-部分”：[2022,1,12]]，“日期-时间”：“2022-01-12T16:21:09Z”，“时间戳”：1642004469000}，“分数”：1，“资源”primary“：{”URL“：“http://\/ieeexplore.iee.org\/document\/7093042\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期-部件”：[[2015,5]]}，”引用-计数“：5，”日志-发布“：{”发布“：“3”}，‘URL’：“http://\\/dx.doi.org\/10.109\/ms.20155.60”，“关系”：{}，《ISSN》：[“0740-7459”]，“ISSN-type”：[{“value”：“0740-7459”，“type”:“print”}]，“subject”：[]，“published”：{“date-parts”:[[2015,5]]}}}