{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,3,13]]，“日期时间”：“2024-03-13T18:24:03Z”，“时间戳”：1710354243535}，“引用计数”：10，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2009,5]]}，“DOI”：“10.1109\/ifita.2009.18”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2009,9,9]]，“date-time”：“2009-09-09T19:34:56Z”，“timestamp”：1252524896000}，“source”：《Crossref》，“is-referenced-by-count”：6，“title”：[“基于安全要求的安全关键软件系统自动安全测试方法”]，“前缀”：“101109”，“author”：[{“given”：“Gang”，“family”：“Yu”，“sequence”：“first”，“affiliation”：[]}第“：”582“，”doi“：”10.1109 \/TSE.1987.233463“页，“article-title”：“容错软件可靠性建模”，“volume”：“se 13”，“author”：“scott”，“year”：“1987”，“journal-title“：”IEEE Transactions on software Engineering“}，{”key“：”2“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/MC.1993.274940，“文章标题”：“基于模型的软件测试”，“author”：“el-far”，“year”：“2001”，“journal-title”：“软件工程百科全书”}，“年份”：“0”}，{“key”：“4”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/0951-8320（91）90049-D”}：“中国成都”，“start”：{“date-parts”：[[2009,5,15]]}，“end”：{“date-parts”：[[2009,5,17]]}}，“container-title”：[“2009信息技术与应用国际论坛”]，“original-title“：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx5\/523181\/5232086.pdf？arnumber=5232086”，“content-type”：“unspecified”，“内容-版本”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,6,18]]，“日期时间”：“2017-06-18T23:34:44Z”，“时间戳”：1497828884000}，“分数”：1，“资源”：{-“主要”：}“URL”：“http://ieeexplore.ieee.org\/document\/5232086\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[[2009,5]]}，“references-count”：10，“URL”：“http://\/dx.doi.org\/10.109\/ifita.2009.18”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2009,5]]}}