{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2022,12,30]]，“日期时间”：“2022-12-30T20:33:24Z”，“时间戳”：1672432404196}，“引用计数”：32，“发布者”：“IEEE”，“内容域”：{:“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“published-print”：{“日期部分”：[[2013,11]]}，“DOI”：“10.1109\/ase.2013.6693120”，“type”：“procesdings-article”，“created”：{“date-parts”：[[2014,1,6]]，“date-time”：“2014-01-06T12:07:25Z”，“timestamp”：1389010045000}，“source”：”Crossref“，”is-referenced-by-count“：5，”title“：[”SBFR:一种基于搜索的方法，用于用基于语法的输入再现程序的失败”]，“前缀”：“101109”，“author”：[{“给定”：“Fitsum Meshesha”，“family”：“Kifetew”，“sequence”：“first”，“affiliation”：[]}，{“given”：“Wei”，“家族”：“Jin”，“serquence”:“additional”，“filiation“：[]{”，{”given“：”Roberto“，”family“：”Tiella“，”sequence“：”additional“，”affiliance“：[]}，{“given”：“Paolo”，“family”：“Tonella”，“sequence”：“additional”，“affiliation”：[]｝]，“member”：“263”，“reference”：[｛“key”：“19”，“doi断言者”：“publisher”，“doi”：“10.1145\/106500.1065036”｝，｛“key”：“17”，“doi断言者”：“publisher”，“doi”：“10.1145\/1007512.1007526”｝，｛“key”：“18”，“首页”：“263”，“文章标题”：“CUTE:C的一致单元测试引擎”，“author”：“sen”，“年份”：“2005”，“journal-title”：“ESEC\/FSE'05-第十届欧洲软件工程联合会议（ESEC）和第十三届ACM SIGSOFT软件工程基础研讨会（FSE-13）会议记录”}，{“key”：“15”，“doi-asserted-by”：“publisher”，“doi”：“10.1016\/j.entcs.2006.01.002”}：“KLEE:为复杂系统程序自动生成高覆盖率测试”，“author”：“cadar”，“year”：“2008”，“journal-title”：“第八届USENIX操作系统设计与实现会议论文集”}，{“key”：“13”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/360248.360252”}，“DOI”：“10.1145\/1180405.1180445”}，{“key”：“11”，“DOI-asserted-by”：“publisher”，“DOI:”10.1016\/0885-2308（90）90022-X“}，“key“：”12“，”author“：”cormen“，”year“：”1990“，”journal-title“：”Introduction to Algorithms“}，{“key”：“20”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1109\/TSE.2009.71”}，{“key”：“22”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1065010.1065014”}，{“密钥”：“23”，“doi-asserte-by”：“publisher”，“DI:”10.1145\/1542476.1542517，“doi”：“10.1145\/51257.512558”}，{“键”：“26”，“首页”：“143”，“文章标题”：“SherLog:通过连接运行时日志中的线索进行错误诊断”，“author”：“yuan”，“year”：“2010”，“journal-title”：“Proceedings of the 5th International Conference on Architectural Support for Programming Languages and Operating Systems”}，{“key”：“27”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1950369”}，“article-title”：“ReCrash:通过保留对象状态使软件故障可再现”，“author”：“artzi”，“year”：“2008”，“journal-title:“第22届欧洲面向对象编程会议论文集”}，{“key”：“29”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1755913.1755946“}，”{“key”：”3“，”doi-assert-by“：”publisher“，”doi.“：“10.1109\/ICSE.2007.10”}，{“key”：“2”，“doi-asserted-by”：“publisher”，“doi”：“10.109\/ICSEE.2009.5070506”}30“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1966445.1966464“}，{”key“：”7“，”doi-asserted-by“：“publisher”，“DOI”：“10.1145\/1287624.1287708”}，{“key”：“6”，“DOI-asserted-by”：“publicher”，“DOI”：“101109\/ICSE.2012.6227168”}}，{“key”：“31”，“first-page”：“114”，“article-title”：“重建核心转储”，“author”：“ro？\uffdler”，“year”：“2013”，“journal-title”：“第六届国际软件测试会议纪要”}，{“key”：“4”，“年”：“2012”，“日记标题”：“VMware Workstation 6中令人惊叹的虚拟机记录/重播功能”}、{“key”：”9“，”doi-asserted-by“：”publisher“，”doi“：”10.1007 \/s10710-010-9109-y“}，}“key”：“8”，“doi-assert-by”：“”出版商“，”内政部“：“10.1145\/1375581.1375607”}]，“event”：{“name”：“2013 IEEE\/ACM第28届国际自动化软件工程会议（ASE）”，“location”：“Silicon Valley，CA，USA”，“start”：{-“date-parts”：[[2013,11,11]]}，“end”：{--“date-parts”：[[2013,11,15]}}，”container-title“：[”2013第28届IEEE\/ACC国际自动化软件工程会议（ASE）“]，“original-title”：[]，“link”：[{“URL”：“http://\/xplorestaging.ieee.org\/ielx7\/6684409\/6693054\/066933120.pdf？arnumber=6693120”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2017,3,22]]，“date-time”：”2017-03-22T19:39:01Z“，“时间戳”：1490211541000}，“分数”：1，“资源”用法：{“primary”:{“URL”：“http://\/ieeexplore.iee.org\/document\/6693120\/”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{日期部分：[[2013,11]]}，”references-count“：32，”URL“：”http://\/dx.doi.org\/10.109\/ase.2013.6693120“，”relational“：{}，[2013,11]}}