{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部件”：[[2024,6,20]]，“日期-时间”：“2024-06-20T17:54:47Z”，“时间戳”：1718906087748}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：54，“出版者”：“ACM”，“许可证”：[{“开始”：{-date-parts”：[2015,8,30]]，“日期时间”：“2015-08-30T00:00:00Z”，“时间戳”：1440892800000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“http://www.acm.org\/publications\/policys\/corpyright_policy#Background”}]，“funder”：[{“DOI”：“10.13039\/1000000001”，“name”：“国家科学基金会”，“DOI-asserted-by”：“publisher”，“award”：[“CCF-1017810，CCF-0747390，CCF-1018729，CCF-1423645，CCF-1409872，CCF-109872 F-1018730“]}]，“内容域”：{“域”：[“dl.acm.org”]，“crossmark-restriction”：true}，“short-container-title”：[]，“published-print”：{“日期-部件”：[[2015,8,30]]}，”DOI“：”10.1145\/2786805.2786830“，”type“：”proceedings-article“，”created“：{”日期-部件“：[2015,8,26]]，”date-time“：”2015-08-26T16:48:13Z“，”timestamp“：144 0607693000}，“更新策略”：“http:\/\/dx.doi.org/10.1145\/crosmark policy”，“source”：“Crossref”，“由计数引用”：75，“title”：[“MultiSE:使用值摘要的多路径符号执行”]，“prefix”：“10.1145”，“author”：[｛“given”：“Koushik”，“family”：“Sen”，“sequence”：“first”，“affiliation”：[｛“name”：“University of California at Berkeley，USA”}]}，｛“given”：“George”，“family”：“Necula”，“sequence”：“additional”，“affiliation”：[{“name”：“University of California at Berkeley，USA”}]}，{“given”：“Liang”，“family”：“Gong”，“serquence”:“additionable”，“abfiliance”：[[{”name“：”University ofCalifor尼福尼亚大学，USA“}]}，{”given“：”Wontae“，”family“Choi”，”sequence“：”additional“，”affiliance“：[{name”：“美国加州大学伯克利分校”}]}]，“成员”：“320”，“在线发布”：{“date-parts”：[[2015,8,30]]}，“参考”：[{“key”：“e_1_3_2_1_1_1_1”，“doi-asserted-by”：“publisher”，”doi“：“10.5555\/1792734.1792771”}，{“密钥”：“e_1_2_1”100071“}，{”键“：”e_1_3_2_1_3_1“，”doi-asserted-by“：“publisher”，“DOI”：“10.5555\/1763507.1763523”}，{“key”：“e_1_3_2_1_4_1”，”DOI-asserted-by“：”publisher“，”DOI“：”10.1145\/1390630.1390662“}，”{“密钥”：“e_1_3_2 _1_5_1”、“DOI-assert-by”：“publicher”，“DOI”：“出版商”，“DOI”：“10.5555\/1770351.1770397”}，{“密钥”：“e_1_3_2_1_7_1”，“DOI-asserted-by”：“publisher”，“DOI”：“10.5555\/1792734.1792770”}，{“key”：“e_1_3_2_1_8_1”，”DOI-asserted-by“：”publisher“，”DOI“：”10.1145\/1993498.1993566“}，”{“密钥”：“e_1_3_2_1_9_1”、“DOI-assert-by”：“publicher”，“DOI”：“10.1109\/TC.1986.1676819”}、{“key”：：“publisher”，“DOI”：“10.1109\/ASE.2008.69”}，{“key”：“e_1_3_2_11_1”，“volume-title”：“OSDI\u201908”，“author”：“Cadar C.”，“year”：“2008”}，{“key”：“e_1_3_2_12_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/2049697.2049700”}ted-by“：”publisher“，”doi“：”10.1145\/349299.349311“}，{”key“：”e_1_3_2_1_15_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1250734.1250789”}，{“key”：“e_1_3_2_16_1”，”doi-assert-by“：”publisher“，”doi“：”10.1145\/2110356.2110358“}，”{“key”：“e_1_3_2_17_1”、“doi-sserted-by“”：“publisher”，“doi”：”10.145\/80019805647“}doi-asserted-by“：”publisher“，”doi“：”10.1145\/1993498.1993565“}，{”key“：”e_1_3_2_19_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1190216.1190226”}，{“key”：“e_1_3_2_1_20_1”，”doi-assert-by“：”publisher“，”doi“：”10.1145\/106501065036“}，“key“：”e_1_a_2_1_21_1“，”doiasserted-by““volume-title”：“NDSS\u201908”，“author”：“Godefroid P.”，“year”：“2008”}，{“key”：“e_1_3_2_1_23_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1706299.1706307“}，{“key”：“e_ 1_3_2 _1_24_1”、“doi-sserted-by“：”publisher“，“doi”：“10.1145\/2039346.2039349”}，”key“：”e_1_ 3_2_1_2 5_1“，“e_1_3_2_1_26_1”，“doi-asserted-by”：“出版商”，“doi”：“10.1145\/781131.781150”}，{“密钥”：“e_1_3_2_1_27_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/2491411.2491425“}，{“key”：“e_ 1_3_2 _1_28_1”、“doi-sserted-by“：”publisher“，“doi”：“10.1007\/978-3642-31424-7_61”}，“key“：”e_1_ 3_2_1_2 9_1“，”volume-title“：”In NFM\u201909“，”author“：”Jayaraman K.“，”年份“：”2009年“}，{”key“：”e_1_3_2_1_30_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/360248.360252”}，{“key”：“e_1_3_2_1_31_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-3642-37651-1_17”}、{“密钥”：“e_1_3_1_32_1”、“doi-sserted-by“：”publisher“，”doi“：”10.1145\/22564.2254088“}，”key“：”e_3_2_33_1“，“首页”：“615”，“volume-title”“：”CAV“，”author“：”Li G.“，”year“：”2011“}，{“key”：“e_1_3_2_1_34_1”，“doi-asserted-by”：“publisher”，“DOI”：“10.1007\/978-3642-02658-4_41”}，{“key”：“e_1_3_2_1_35_1”，”DOI-asserted-by“：”publisher“，”DOI“：”10.1007\/978-3-642-14295-6_10“}，”{“密钥”：“e_1_3_2_1_36_1”、“DOI-assert-by”：“publister”，“DOI”：“101145\/1390630.1390635”}serted-by“：”publisher“，”DOI“：”10.1145\/1595696.1595704“}，{”key“：”e_1_3_2_1_38_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/199448.199462”}，{“key”：“e_1_3_2_1_39_1”，”doi-assert-by“：“publicher”，“doi”：“101145\/1926385.1926406”}、{“密钥”：“e_1_3_2_1_40_1”、“doi-sserted-by“:”publisher“，”doi“：”10.1109\/ASE.2008.32“}，由“：”publisher“，”doi“：”10.1109\/SP.2010.38“}插入，{”key“：”e_1_3_2_1_42_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/11817963_38”}，{“key”：“e_1_3_2_1_43_1”，”doi-assert-by“：”publisher“，”doi“：”10.1145\/2491411.2491447“}，”{“密钥”：“e_1_3_2_1_44_1”、“doi-sserted-by me-title“：”Prentice-Hall“，”author“：”Sharir M.“，”year“：”1981“}，{“key”：“e_1_3_2_1_46_1”，“首页”：“19”，“卷标”：“2008年计算机辅助设计形式方法国际会议论文集”，“作者”：“Sinha N.”}，{“key”：“e_e_3_2_1_47_1”、“doi-asserted-by”：“publisher”，”doi“：”10.1007\/978-3-540-89862-7_1“}，”{“密钥”：“e_1_2_1_48_1”/1792786.1792798“}，{“key”：“e_1_3_2_1_49_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/2594291.2594340“}，{“key”：”e_1_ 3_2_1.50_1“，”doi-assert-by“：”publisher“，“doi”：“10.1145\/1146238.1146243”}，“key“：”e_ 1_3_2 _1_51_1““：”e_1_3_2_1_52_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1040305.1040334”}，{“key”：“e_1_3_2_1_53_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/2486788.2487001“}，{“密钥”：“e_1_3_2_1_54_1“，”doi-assert-by“：”publisher“，“doi”：“10.1145\/1328438.1328467”}]，“event”：{“name”：“ESEC\/FSE’15：欧洲软件工程会议和ACM SIGSOFT软件工程基础研讨会联席会议”，“location”：“Bergamo Italy”，“缩写词”：“ESEC\/FSE'15”，“赞助商”：[“SIGSOFT ACM软件工程特别兴趣小组”]}，“container-title”：[《2015年第十届软件工程基础联合会议会议记录》]，“original-title“：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2786805.2786830”，“content-type”：“未指定”，“内容版本”：“vor”，“预期应用程序”：“相似性检查”｝]，“已存放”：｛“日期部分”：[[2023,1,12]]，“日期时间”：“2023-01-12T03:17:53Z”，“时间戳”：1673493473000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/dl.acm.org/doi\/10.1145\/27868052786830”｝，“副标题”：[]，“短标题”：[]，“已发布”：｛“日期部分”：【2015年8月30日】]}，“references-count”：54，“alternative-id”：[“10.1145\/2786805.2786830”，“10.1145\/2786805”]，“URL”：“http://\/dx.doi.org\/10.1145\/27868”，“relation”：{}，“subject”：[]，“published”：{“date-parts”：[[2015,8,30]]}，”assertion“：[{”value“：”2015-08-30“，”order“：2，”name“：”published“，”label“：”published“，”组“：{”名称“：”publication_history“，”标签“：“出版物历史记录”}}]}}