{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,8]]，“日期-时间”：“2024-09-08T12:21:44Z”，“时间戳”：1725798104075}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：20，“出版者”：“ACM”，“许可证”：[{“开始”：{-“日期-零件”：[2016,7,20]]，“日期时间”：“2016-07-20T00:00:00Z”，“时间戳”：1468972800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“出资人”：[{“DOI”：“10.13039\/501100003086”，“名称”：“Eusko Jaurlaritza”，“DOI-asserted-by”：“publisher”，”奖项“：[”UE2014-12 AURE项目“]，“id”：“[{”id“：”10.13039\/501100003086“，”id-type“：”DOI“，”asserted-by“：“publisher”}]}]，“content-domain”：{“domain”:[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2016,7,20]]}，”DOI“：”10.1145\/2908812.2908871“，”type“：”proceedings-article“，”created“：{”date-part“：[2016,7,27]]，”date-time“：”2016-07-27T15:32:51Z“，”时间戳“：1469633571000}，”页面“：”1053-1060“，“update-policy”：“http://\/dx.doi.org\/10.1145\/crossmark-policy”，“源”：“Crossref”，“is-referenced-by-count”：22，“标题”：[“使用基于权重的搜索算法对可配置网络物理系统进行测试用例优先级排序”]，“前缀”：“10.1145”，《卷》：“100”，“作者”：[{“给定”：“Aitor”，“家族”：“Arrieta”，“序列”：“first”，“从属关系”：[}“name”：“蒙德拉贡-Unibertsitatea，Mondragon，Spain”}]}，{“given”：“Shuai”，“family”：“Wang”，“sequence”：“additional”，“affiliation”：[{“name”：“Simula Research Laboratory，Oslo，Norway”}]}，}“giving”：“Goiuria”，“家族”：“Sagardui”，”sequence“：“addential”，“埃克塞贝里亚”，“sequence”：“additional”，“affiliation”：[{“name”：“Mondragon Unibertstatea，Mondragan，Spain”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2016,7,20]]}，“reference”：[}“key”：“e_1_3_2_1_1_1”，“doi-asserted-by”：“publisher”，”doi“10.1145\/1985793.1985795”}，{“key”：”e_3_2_2_1“，”doi-assert by“：”publisher“，”doi“：”10.5555\/1928028.1928036“}，{“key”：“e_1_3_2_1_3_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/2791060.2791095“}，{”key“：”e_1_ 3_2_1_4_1“，”doi-assert-by“：”publisher“，“doi”：“10.1007\/s11219-012-9181-z”}，}“issue”：“1”，“key“”：”e_ 1_3_2 _1_5_1“”，“首页”：“13”，“article-title”：“建模网络物理系统”，“volume“：”100“，”author“：”Derler P.“，”year“：”2011“，”unstructured“：”P。Derler、E.A.Lee和A.Sangiovanni-Vincentelli。对网络物理系统进行建模。IEEE会议记录（CPS特刊），100（1）：13-282011年1月。P.Derler、E.A.Lee和A.Sangiovanni-Vincentelli。对网络物理系统进行建模。IEEE会议记录（CPS特刊），100（1）：13-282011年1月。，{“键”：“e_1_3_2_1_8_1”，“doi-asserted-by“：”publisher“，”doi“：”10.1109\/MC.2009.253“}，{“key”：“e_1_3_2_1_9_1”，“doi-assert-by”：“publisher”、“doi”：“10.1016\/j.infsof.2015.01.008”}、{“key”：“e_1_3_2_10_1”、”doi-asserted-by“”：“publisher”、“doi”：“10.5555\/876882.879817”}，“volume-title”：“Simulink错误模式。技术报告”，“年份”：“2015年”，“作者”：“Matinnejad R.”，“关键”：“e_1_3_2_11_1“，”非结构化“：”R.Matinnejad。Simulink故障模式。技术报告，2015年。R.马丁内贾德。Simulink故障模式。技术报告，2015.“}，{”key“：”e_1_3_2_12_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1109\/ICST.2014.15 2463545“}，{”key“：”e_1_3_2_1_15_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1016\/j.jss.2014.08.024“}，{“key”：“e_1_3_2_16_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/26448511.2648515“}”，{”key“：”e_1_ 3_2_1_17_1“，”doi-assert-by“：”publisher“，第五届系统测试与验证研讨会”，“作者”：Zander-Nowicka J.“，“年份”：“2007年”，“非结构化”：“J.Zander-Nowicka。混合嵌入式软件的反应式测试和测试控制。《第五届系统测试与验证研讨会论文集》，第45-622007页。J.Zander-Nowicka。混合嵌入式软件的反应式测试和测试控制。《第五届系统测试与验证研讨会论文集》，第45-622007页赞助商“：[“SIGEVO ACM遗传和进化计算特别兴趣小组”]，“位置”：“美国科罗拉多州丹佛市”，“首字母缩写词”：“GECCO‘16”}，“集装箱标签”：[“2016年遗传和进化计算机会议记录”]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2908812.2908871“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,10]]，”date-time“：”2023-01-10T13:40:25Z“，”timestamp“：1673358025000}，”score“：1，”resource“：{primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2908812.2908871”}}，“subtitle”：[]，“shorttitle”：[]，“已发布”：{“日期部分”：[[2016,7,20]]}，“references-count”：20，“alternative-id”：[“10.1145\/2908812.2908871”，“10.1145\/2908812”]，“URL”：“http://\/dx.doi.org\/10.1145\/29088”，“relationship”：{}，“subject”：[]，“published”：{“date-parts”：[[2016,7,20]]}，”assertion“：[{”value“：”2016-07-20“，”order“：2，”name“：”published“，”label“：”published“，”组“：{”名称“：”publication_history“，”标签“：“出版历史”｝｝]｝｝