{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,7]]，“日期时间”：“2024-09-07T22:47:33Z”，“时间戳”：1725749253481}，“引用计数”：32，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2017,6]]}，”DOI“：“10.1109\/cec.2017.7969377”，“type”：“procesedings-article”，“created”：{“date-parts”：[[2017,7,7]]，“date-time”：“2017-07-07T18:26:43Z”，“timestamp”：1499452003000}，“page”：”688-697“，”source“：”Crossref“，”is-referenced-by-count“：23，”title“：[”Cyber-Physical Systems的基于搜索的测试用例生成“]，”前缀“：”10.1109“，“volume”：“，”作者“：[{”给定“：“Aitor”，“family”：“Arrieta”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Shuai”，“家人”：“Wang”，“sequence”:“additional”，“filiation“：[]{”given“：”Urtzi“，”family“：”Markiegi“，“se序列”：“additionable”，“从属关系”：[]}，“given”：“Leire”，“family”：“Etxeberia”，“sequence”：“additional”，“affiliation”：[]}]，“member”：“263”，“reference”：[{“key”：“ref32”，“first-pages”：“95”，“article-title”：“Spea2:Improving the strength pareto evolutional algorithm”，“volume”:“3242”，“author”：“zitzler”，“year”：“2001”，“journal-title“：”EUROGEN“}”，{“key”：“ref31”，“doi-asserted-by”：“publisher”，”“doi”：“10.1007”49-9“}，{“键”：“参考30”，“doi-asserted-by”：“publisher”，“doi”：“10.2307\/1165329”}，{“key”：“ref10”，“doo-asserted-by”：”publisher“，”doi“：”10.1145\/1985793.1985795“}，”{“key”：”ref11“，”doi-assert-by“：”publider“，”doi“：“10.1007\/s11219-012-9174-y”}、{“journal-title”：“基于模型的汽车领域实时嵌入式系统测试”，“year”：“”2008年，“作者”：“赞德诺威卡”，“key”：“ref12”}，{“journal-title”：“安全相关汽车软件的标准符合性测试”，“year”：“2013”，“author”：“mjeda”，“密钥”：“ref13”}：“ref14”}，{“key”：“ref15”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2934466.2946046”}“ref18”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ASPDAC.2012.6164948”}，{“key”：“ref19”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/MC.2009.125”}，{“key”：“ref28”，“doi-assertd-by”：“publisher”，“DI:”10.1016\/j.advengsoft.2011.05.014“}，}“key:”ref4“，”doi-assert-by“：”publisher“，”doi“：”10.1145\/2884781.2884797“}publisher“，”doi“：”10.1016\/j.jss.2014.08.024“}，{”key“：”ref3“，”doi-asserted-by“：“publisher”，“DOI”：“10.1145\/2889160.2889212”}，{“key”：“ref6”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1016\/j.infsof.2014.05.007“}，}“key:”ref29“，”DOI-assert-by“：”publisher“，”DOI“：”10.1145\/2884781.2884880“}1219-016-9341-7“}，{“key”：“ref8”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1109\/4235.996017”}，{“key”：“ref7”，“doi-asserted-by”：“publisher”，“doi”：“10.11019/ICST.2016.33”}“ref1”，“first page”：“13”，“article-title”：“建模网络物理系统”，“volume”：“100”，“author”：“derler”，“year”：“2011”，“journal-title”：“IEEE会议记录（CPS特刊）”}，{“key”：“ref20”，“first-pages”：“45”，“article-title“：“混合嵌入式软件的反应测试和测试控制”，“author”:“zander-nowicka”，“year”：《2007年IEEE会议录》，“johnal-title:“STV07第五届系统测试与验证研讨会程序”}、{“key”：“ref22”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ISORC.2008.25”}，{“key”：“ref21”，“doi-assertd-by”：“publisher”，“DI:”10.1109\/RET.2015.9“：”10.1109\/WCSP.2011.6096958“}，{”key“：”ref26“，”doi-asserted-by“：”publisher“，“DOI”：“10.1016\/j.scico.2012.06.002”}，{“key”：“ref25”，“DOI-asserted-by”：“publisher”，“DOI:”10.1145\/2884781.2884830“}]，“event”：{“name”：“2017 IEEE Congress on Evolutionary Computation（CEC）”，“start”：{“date-parts”：[[2017,6,5]]}，“location”：“Donostia，San Sebasti\u00e1n，西班牙”，“end”：[2017,6,8]}}，“集装箱标签”：[“2017 IEEE进化计算大会（CEC）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.IEEE.org\/ielx7\/7959755\/796277\/079699377.pdf？arnumber=7969377”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,7,21]]，“日期-时间”：“2017-07-21T05:22:13Z”，“timestamp”：1500614533000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieexplore.iee.org\/document\/7969377\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2017,6]]}，‘references-count’：32，”URL“http://\/dx.doi.org\/10.10109 \/cec.2017.7969377“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2017,6]]}}}