{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2024,9,8]]，“日期时间”：“2024-09-08T14:51:03Z”，“时间戳”：1725807063021}，“引用计数”：43，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2017,11]]}，“DOI”：“10.1109\\sate.2017.11”，“type”：“proceedings article”，“created”：｛“date parts”：[[2017,11,23]]，“date time”：“2017-11-23T17:02:10Z”，“timestamp”：1511456530000｝，“page”：“20-29”，“source”：“Crossref”，“由count引用”：10，“title”：[“Test Suite Prioritization for Efficient Regression Testing of Model Based Automotive Software”]，“prefix”：“10.1109”，“卷”：“35”，“作者”：[{“给定”：“安德烈”，“家庭”：“莫罗佐夫”，“序列”：“第一”，“从属关系”：[]}，{“给出”：“凯”，“家族”：“丁”，“顺序”：“附加”，“隶属关系”：[]}、{“已知”：“道”，“家人”：“陈”，“sequence”：“额外”，“affiliation”：[]}，}“给定的”：“克劳斯”，“家属”：“詹斯克”，“序号”：“additional”，“从属关系”：[]}]，“成员”：“263”，“引用”：[{“key”：“ref39”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/3022099.3022103”}，{“密钥”：“ref38”，“doi-assertd-by”：“publisher”，“DI:”10.1080\/01621459.1951.10500769“}，}“journal-title”：“Tpt-嵌入式控制软件的测试和验证”，“year”：“2017”，“key“：”ref33“}”，{”journal-title“：”带反应的Simulink模型的测试和确认“”，“年份”：“2013”，“key”：“ref32”}，{“key“：“ref31”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.mechantonics.2014.09.005”}“：”ref36“，”doi-asserted-by“：”publisher“，”doi“：“10.1145\/2889160.2889162”｝，｛“期刊标题”：“Simulink Verification and Validation 2 Users Guide”，“year”：“2017”，“key”：“ref35”｝，｛“期刊标题”：“Ecu test v6 5-ecus的系统和自动软件测试”，“year”：“2017”，“key”：“ref34”｝，｛“key”：“ref10”，“doi asserted by”：“publisher”，“doi”：“10.1145\/2786805.2786878”｝，｛“key”：“ref40”，“首页”：“59”，“article-title”：“ErrorPro：随机误差传播分析的软件工具”，“author”：“morozov”，“year”：“2015”，“journal-title:“首届荷兰阿姆斯特丹嵌入式电子系统弹性国际研讨会”}，{“key”：“ref11”，“article-title”：：“biswas”，“year”：“2011”，“journal-title”：“Informatica”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/32.689399”}18“}，{”key“：”ref15“，”doi-asserted-by“：”crossref“，”first-page“：”173“，“DOI”：“10.1016\/S0164-1212（99）00037-0”，“article-title”：“测试发展中的软件”，“volume”：“47”，“author”：“harrold”，“year”：“1999”，“journal-title“：”J Syst Softw“}，{”key“：”ref16“，”DOI-asserted-by“：”publisher“，”DOI“：”10.1109\/ICSM.1999.792604“}I“：”10.1007\/s11219-012-9181-z“}，{“键”：“参考18”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/SNPD.2016.7515934”}，{“key”：“ref19”，“doi-asserted-by”：”publisher“，”doi“：”10.1109\/ISESE.2005.1541815“}，}“journal-title”：“查找simulink\/stateflow模型的依赖性测试序列和测试用例”，“year”：“2015”，“author”：“sharma”，”key“：”ref28“}”，{”journal-title“：“Matlab&simulink Stateflow用户指南r2017a”，“年份”：“2017”，“作者”：“wagner”，“key”：“ref4”}，{“日志标题”：“使用simulink\/Stateflow模型生成测试用例并确定其优先级”，“年”：“2014”，“作家”：“minj”，“密钥”：“ref27”}：“Systemdesk于2016年10月退休”，“年份”：“2016年”，“作者”：“wagner”，“key”：“ref6”}，{“key“：”ref29“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/s1134-015-0268-0“}，”journal-title“：”Targetlink于2016年11月退休“，”年份“：”2016“，”key“:”ref5“}”，{”key：“ref8”，“首页”：“310”，“article-title”：“汽车行业基于模型的嵌入式软件系统设计的好处是什么？”，“author”：“broy”，“year”：“2013”，“journal-title”：“软件设计和开发概念、方法论、工具和应用程序概念、方法学、工具和应用程序”}，{“journal-tittle”：“ISO\/WD 26262-1道路车辆-功能安全”，“year”：“2011”，“key”：“ref7”}，{“journal-title”：“Model-Driven Software Development Integrating Quality Assurance Idea Group 2008 ch Assurating Maintainability in Model-Drived Development of Embedded Systems”，“year”：“0”，“author”：“wagner”，“密钥”：“ref2”}：“publisher”，“DOI”：“10.1109\/ICST.2008.45”}，{“key”：“ref20”，“DOI-asserted-by”：“publicher”，“DI:”10.1109\/COMPSAC.2006.80“}，}“journal-title”：“Software Maintenance 2008 ICSM 2008 IEEE International Conference On IEEE”，”first page“：”247“，”article-title“：”系统模型在回归测试套件优先级划分中的应用“，”year“：”2008“，”key“：“ref22”}，｛“key”：“ref21”，“doi asserted by”：“publisher”，“doi”：“10.1145\\1291535.1291539”｝，｛“key”：“ref42”，“首页”：“585”，“文章标题”：“PRISM 4.0：概率实时系统的验证”，“卷”：“6806”，“作者”：“kwiatkowska”，“年份”：“2011”，“期刊标题”：“Proc 23rd International Conference on Computer Aided Verification（CAV’'11）ser LNCS G Gopalakrishnan和S Qadeer Eds“}，{“key”：“ref24”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ICSM.2002.1167768”}，“key“：”ref41“，“doo-asserted-by”：”publisher“，”doi“：”10.1016\/j.ifacol.2016.09.043“}”，{（key）：“ref23”，“doi-asserte-by”：“publisher”，“DI:”10.1109\/ICSTW.2009.45“}，{”key“：”ref26“，”首页“：”1“，”文章标题“：”回归测试套件优先排序中的状态模型“，”author“：”tahat“，”year“：”2016“，”journal-title“：”Software Quality journal“}，{“key”：“ref43”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/32.962562”}，“key“：”ref25“，”doi-assert-by“：”publisher“，”doi“：”10.1109\/ICSM.2005.87“}]，“event”：{“name”：“2017年软件分析、测试和演化国际会议（SATE）“，”开始“：{“date-parts”：[[2017,11,3]]}，”位置“：”哈尔滨“，”结束“：{“date-parts”：[[2017,11,4]]}}，“container-title”：[“2017年国际软件分析、测试和演化会议（SATE）”]，”原文标题“：[]，”链接“：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/8113743\/811805\/08118517.pdf？arnumber=8118517“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2019,10,6]]，”date-time“：“2019-10-06T14:29:12Z”，”timestamp“：1570372152000}，“score”：1，“resource”：{“primary”:{“URL”：“http://ieeexplore.iee.org\/document\/8118517\/”}}，“副标题”：[]，“短标题”：[]，“发布“：{“date-parts”：[[2017,11]]}，“references-count”：43，“URL”：“http://\/dx.doi.org\/10.109\/sate.2017.11”，“relation”：{}，”subject“：[]，”published“：{date-part”：[[2017,11]]}}