{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,11,8]]，“日期时间”：“2023-11-08T23:56:45Z”，“时间戳”：1699487805615}，“引用计数”：35，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print“：{”日期部分“：[[2017,10]]}，“DOI”：“10.1109\\dsa.2017.10”，“type”：“proceedings article”，“created”：｛“date parts”：[[2018,1,25]，“date time”：“2018-01-25T16:44:11Z”，“timestamp”：1516898651000｝，“source”：“Crossref”，“由count引用”：6，“title”：[“基于突变测试的正式验证工具评估”]，“prefix”：“10.1109”，“author”：[｛“given”：“A.Chakrapani”，“family”：“Rao”，“sequence”：“first”，“affiliation”：[]}，{“given”：“A.”，“family”：“Raouf”，“segment”：“additional”，“filiation“：[]{”given“：”G.“，”family“：”Dhadyalla“，”sequence“：”additional key“：”ref33“，”doi-asserted-by“：”crossref“，“首页”：“23”，“DOI”：“10.1109\/TSE.2013.44”，“article-title”：“克服等效突变问题：系统文献综述和二阶突变比较实验”，“volume”：“40”，“author”：“jozala”，“year”：“2014”，“journal-title“：”IEEE Trans-Softw Eng“}：“评估软件工具的真正价值，以检查汽车软件的健康状况”，“作者”：“chakrapani rao”，“年份”：“2007”，“期刊标题”：“第三届工程技术学会汽车电子技术会议论文集”}，{“关键”：“参考文献31”，“作者”：“kratkiewicz”，“年份”：“0”，“期刊标题”：“评估静态分析工具以检测C代码中的缓冲区溢出”}，{“key”：“ref30”，“first-pages”：“102”，“article-title”：“使用C程序的诊断语料库评估通过静态分析工具进行的缓冲区溢位检测”，“author”：“kratkiewicz”，“year”：“2005”，“journal-tittle”：“定义软件安全工具工作室最新技术的进程”}，{“key”：“ref35”，“year”：“0”，“journal-title”：“PICASSOS项目的公共传播站点”}“”：“ref11”，“author”：“edmund”，“year”：“1999”，“journal-title”：“Model checking”}，{“key”：“ref12”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3-540-79707-4_7”}，{“key”：“ref15”，“year”：“0”，“journal-title”：“FDR精简检查器”}，{“key”：“ref16”，“year”：“0”，“journal-title”：“ModelWorks”}、{“key”：”ref17“，”doi-asserted-by“：”publisher“，”doi“：”10.4271\/2011-01-0745“}，”{“key”：“ref18”，“doi-assert-by”：“publisher”，“doi”：“10.1049\/cp:200609”}“，”doi“：”10.4271\/2008-01-0220“}，{”key“：”ref28“，”doi-asserted-by“：“publisher”，“DOI”：“10.1109\/SysCon.2013.6549862”}，{“key”：“ref4”，“DOI-asserted-by”：“publicher”，“DOI”：”10.1109\/JPROC.2009.2039551“}，}“key:”ref27“，”DOI-assert-by“：”publisher“，”DOI“：”10.1101109\/TAIC.PART.2007.23“}109\/SIECPC.2013.6550793“}，{“key”：“ref6”，“year”：“0”，“journal-title”：“The Simulink Tool-Suite”}，{“key”：“ref29”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/QEST.2012.14”}年份：“0”，“日志标题”：“Simulink\/Stateflow”}，{“key”：“ref2”，“doi-asserted-by”：“publisher”，“doi”：“10.4271\/2017-01-0063”}，{“key”：“ref9”，“year”：“0”，“journal-title”：“关于模型覆盖类型的信息”}“：”chakrapani rao“，”年份“：”2017“，“journal-title”：“Proc Automated Formal Methods（AFM）2017研讨会与美国国家航空航天局2017年正式方法（NFM）”}，{“key”：“ref22”，“doi-asserted-by”：“crossref”，“first-page”：“279”，“doi”：“10.1109\/TSE.1977.231145”，“article-title“：“借助编译器测试程序”，“volume”：：“IEEE Transactions on Software Engineering”}，{“key”：“ref21”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/9781-4757-5939-6_7”}“ref26”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ISSRE.1994.341378”}，{“key”：“ref25”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1368088.1368136”}]，“event”：{“name”：“2017年可靠系统及其应用国际会议（DSA）”，“location”：“中国北京”，“start”：{-“date-parts”：[2017,10,31]]}，“end”：{“date-parts”：[[2017,11,2]]}}，”container蒂尔”：[“2017年可靠系统及其应用国际会议（DSA）”]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/8267172\/8269582\/08269594.pdf？arnumber=8269594”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2019,10,9]]，“date-time”：“2019-10-09T16:53:27Z”，“timestamp”：1570640007000}，“score”：1，“resource”：{“primary”：{“URL”：“http://\/ieeexplore.iee.org\/document\/8269594\/”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-parts“：[2017,10]]}，‘references-count’：35，”URL“：”http://\/dx.doi。org\/10.109\/dsa.2017.10“，”relation“：{}，”subject“：[]，”published“：{”date-parts“:[[2017,10]]}}}