{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期部分”：[[2023,1,8]]，“日期时间”：“2023-01-08T18:52:18Z”，“时间戳”：1673203938298}，“引用计数”：13，“发布者”：“IEEE”，“内容域”：{“域”：[]，“交叉标记限制”：false}，”短容器时间“：[]”，“发布发布者”：{“日期部分”：[[2009]]}，“DOI”：“10.1109 \/icse-company.2009.5071009”，“type”：“proceedings-article”，“created”：{“date-parts”：[[2009,6,16]]，“date-time”：“2009-06-16T17:09:48Z”，“timestamp”：1245172188000}，“source”：《Crossref》，“is-referenced-by-count”：7，“title”：[“Guided path exploration for regression test generation”]，“prefix”：“10.109”，“author”：[{“given”：”Kunal“family”：“Tanej”a“，“sequence”：“first”，“affiliation”：[]}，{“given”：“Tao”，“family”：“Xie”，“segment”：“additional”，“filiance”：[]}，}“giving”：“Nikolai”，“家族”：“Tillmann”，“序列”：“附加”，“从属关系”：[]}，“sequence”：“additional”，“affiliation”：[]}]，“成员”：“263”，“引用”：[{“key”：“13”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/DSN.2009.5270315”}，{“密钥”：“11”，“doi-asserte-by”：“publisher”，“DI:”10.1109\/32.153381：“谢”，“年份”：“2004”，“journal-title”：“Proc ICS”}，{“key”：“3”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/s10664-005-3861-2”}“：”10“，”首页“：”134“，”article-title“：”.net的pex-white-box测试生成“，“author”：“tillmann”，“year”：“2008”，“journal-title”：“Proc TAP”}，{“key”：“7”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1453101.1453131”}/1190216.1190226“}，{”key“：”4“，”doi-asserted-by“：”publisher“，”doi“：“10.1145\/1287624.1287707”}，{“key”：“9”，“doi-asserted-by”：“publisher”，“doi”：“10.1109\/ASE.2008.60”}5,16]]}，“结束”用法：{“date-parts”：[[2009,5,24]]}}，“container-title”：[“2009年第31届国际软件工程会议-配套卷”]，“原始标题”：[]，“链接”：[{“URL”：“http://\xplorestaging.ieee.org\/ielx5\/5062311\/5070947\/05071009.pdf？arnumber=5071009”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，“存放”：{“日期部分”：[[2017,3,18]]，“日期时间”：“2017-03-18T03:37:25Z”，“时间戳”：1489808245000}，“分数”：1，“资源”：{-“主要”：{“URL”：“http://ieeexplore.ieee.org\/document\/5071009\/”}}，”副标题“：[]，”短标题“：[]，”已发布“：{”日期部分“：[2009年]]}，“references-count”：13，“URL”：“http://\/dx.doi.org\/10.109\/icse-company.2009.5071009”，“关系”：{}，“主题”：[]，“发布”：{“日期-部件”：[[2009]]}}