{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,7]]，“日期-时间”：“2024-09-07T16:55:17Z”，“时间戳”：1725728117024}，“引用-计数”：22，“发布者”：“IEEE”，“许可证”：[{“开始”：{-“日期-零件”：[2020,10,1]]，”日期-时间“：”2020-10-01T00:00:00Z“，”timestamp“：1601510400000}，”content-version“：”vor“，“delay-in-days”：0，“URL”：“https:\/\/ieeexplore.iee.org\/Xplorehelp\/downloads\/license-information\/ieee.html”}，{“start”：{“date-parts”：[[2020,10,1]]，“date-time”：“2020-10-01T00:00:00Z”，“timestamp”：1601510400000}，“content-version”：“stm-asf”，“delay-in-days“：0，”URL“https:\\/doi.org\/10.1525 23\/policy-029“}，{“开始”：{“日期部分”：[[2020,10,1]]，“date-time”：“2020-10-01T00:00:00Z”，“timestamp”：1601510400000}，“content-version”：“stm-asf”，“delay-in-days”：0，“URL”：“https:\/\/doi.org\/10.15223\/policy-037”}]，“content-domain”：{“domain”:[]，“crossmark-restriction”：false}，”shortcontainer-title“：[]，”published-print“：{”date-parts“：[2020,10]}，“doi”：“10.1109\/icstw50294.2020.00018”，“类型”：“procesdings-article”，“created”：{“date-parts”：[[2020,8,4]]，“date-time”：“2020-08-04T18:06:13Z”，“timestamp”：1596564373000}，“page”：“1-5”，“source”：”Crossref“，“is-referenced-by-count”：7，“title”：[“基于功能需求的仿真模型测试用例和预言自动生成工具”]，“prefix”：“10.1109”，“author”：[{“given”：“Aitor”，“family”：“Arrieta”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Joseba A.”“，”doi“：”10.1016\/j.infsof.2019.06.009“}，{“journal-title”：“基于功能需求的仿真模型测试用例和预言自动生成工具的技术报告”，“year”：“2020”，“author”：“arrieta”，“key”：“ref11”}，{”key“：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1869542.1869625”}：“10.1109\/CEC.2017.7969377”}，{“key”：“ref14”，“doi-asserted-by”：“publisher”，“doi”：“10.109\/TII.2017.2788019”}，{“key”：“ref17”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3338906.3340444”}，{“journal-title”：“arXiv预印本arXiv 1910 02837”，“article-title“：计算密集型网络物理模型的近似精化测试：基于系统识别的方法”，“year”：“2019”，“author”：“menghi”，“key”：“ref18”}，{“key“：“ref19”，“doi-asserted-by”：“crossref”，“first page“：”167“，“doi”：“10.1007 \/978-3642-14295-6_17”，“article-title”：“Breach，一个用于混合系统验证和参数合成的工具箱”，“author”：“donz\u00e8”，“year”：“2010”，“journal-tittle”：“计算机辅助验证国际会议”}，{“key”：”ref4“，”doi-asserted-by“：”publisher“，”doi“：”10.1109 \/TSE.2014.2372785“}：“10.1109\/RET.2015.9”}，{“key”：“ref6”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-30502-6_23”}：“SYNECT”，“year”：“2020”，“key”：“ref7”}，{“key“：”ref2“，”doi-asserted-by“：“publisher”，“DOI”：“10.1145\/2884781.2884797”}，{“key”：“ref1”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1145\/2889160.2889212“}，}“key”：”ref9“，”DOI-assert-by“：”publisher“，”DOI“：”10.145\/318055.3180231“}、{“密钥”：“ref20”，“首页”：“254”，“article-title”：“S-taliro：时间逻辑伪造工具混合系统的应用”，“作者”：“annpureddy”，“年份”：“2011”，“期刊标题”：“系统构建和分析工具和算法国际会议”}，{“key”：“ref22”，“doi断言”：“publisher”，“doi”：“10.1007\/s11219-016-341-7”}，{“key”：“ref21”，“doi断言”：“publisher”，“doi”：“10.1145\/338906.3338920”}]，“event”：{“name”：“2020 IEEE软件测试、验证和确认研讨会（ICSTW）国际会议”，“开始”：{“date-parts”：[[2020,10,24]]}，“位置”：“葡萄牙波尔图”，“结束”：{“date-parts”：[2020,10,28]]}}，”container-title“：[”2020 IEEE国际软件测试、检验和确认研讨会会议（ICSTV）“]，”原文标题“：[]，“链接”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/9146896\/915545\/09155827.pdf？arnumber=9155827”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“存放”：{“日期部分”：[2022,6,27]]，“日期时间”：“2022-06-27T20:21:03Z”，“时间戳”：16563Z 61263000}，“分数”：1，“资源”：{“主要”：}“URL”：“https:\/\/ieeexplore.iee.org\/document\/9155827\/”}}，“副标题”：[]，“短标题”：[]，“已发布”：{“日期parts”：[[2020,10]]}，”引用计数“：22，”URL“：”http://\/dx.doi.org\/10.109\/icstw5029.2020.000018“，”关系“：{}”，“主题”：[]]，“发布”：}“日期部件”：[2020,10]]}}}