{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,2,9]]，“日期-时间”：“2024-02-09T06:54:47Z”，“时间戳”：1707461687065}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：14，“发布商”：“ACM”，“内容-域”：[“dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2011,2,24]]}，“DOI”：“10.1145\/195355.1953369”，“type”：“proceedings-article”，“created”：{“date-parts”：[2011,3,8]]，“date-time”：“2011-03-08T15:03:11Z”，“timestamp”：1299596591000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”“：”Crossref“，”is-referenced-by-count“：7，”title“：[“进化软件的有效误报过滤”]，“前缀”：“10.1145”，“作者”：[{“given”：“Bharti”，“family”：“Chimdyalwar”，”sequence“：”first“，”affiliation“：[{name“：”Tata Consultancy Services，Hadapsar，Pune，India“}]}，{given“：”Shrawan“，”family“：”Kumar：“Tata Consultancy Services，Hadapsar，Pune，India”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2011,2,24]]}，“reference”：[{“key”：“e_1_3_2_1_1_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1555860.1555864“}，{“key”：”e_3_2_2_1“，”doi-assert-by“：”publisher“，“doi”：“10.1145\/1287624.1287633“}，{”键“：”e_1_3_2_1_3_1“，”doi-asserted-by“：“publisher”，“DOI”：“10.1109\/ICSM.2001.972714”}，{“key”：“e_1_3_2_1_4_1”，”volume-title“：“Improving Visual Impact Analysis.ICSM'98 Proceedings of the International Conferences on software maintenance”，“author”：“Hutchins M.”，《年份》：“1998”}_6_1“，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/1028976.1029012”}，{“key”：“e_1_3_2_1_7_1”，《volume-title》：“Theory and Applications”，“author”：“Sharir M”，“year”：“1981”}由“：”publisher“，”doi“：”10.1002\/swf.41“}插入，{”key“：”e_1_3_2_1_10_1“，“首页”：“3”，“卷”：“三”，“作者”：“Alpern B.”，“年份”：“1987年”，“日志标题”：“识别安全性和活性。分布式计算”}，{“密钥”：“e_1_3_2_11_1”，“非结构化”：“e.M.Clarke M.Fujita S.P.Rajan T.Reps S.Shankar和T。泰特尔鲍姆。设计自动化程序切片：一种加速硬件设计仿真测试和验证的自动技术。http://www.cs.wisc.edu\/wpis\/papers\/psda.ps E.M.Clarke M.Fujita S.P.Rajan T.Reps S.Shankar和T.Teitelbaum。设计自动化程序切片：一种加速硬件设计仿真测试和验证的自动技术。http:\/\/www.cs.wisc.edu\/wpis\/papers\/psda.ps“}，{“key”：“e_1_3_2_12_1”，“volume-title”：“软件模型检查研讨会”，“author”：“Engler D.”}，“key“：”e_1_ 3_2_13_1“，“unstructured”：“Embedded Java Persistence.An Oracle白皮书，2007年3月。http://\/whitepapers.techrepublic.com嵌入式Java持久性。甲骨文白皮书，2007年3月。http://\/白皮书.techcrepublic.com“}，{“问题”：“9”，“关键”：“e_1_3_2_14_1”，“卷”：“28”，“作者”：“Horwitz S.”，《年份》：“1991年”，“新闻标题”：“期刊信息学报”}]，“事件”：{“名称”：“ISEC’11:印度软件工程会议”，“地点”：“印度喀拉拉邦Thiruvananthapuram India”，“缩写”：“IS EC’11”，“赞助商”：[”印度计算机学会印度计算机学会“，”SIGSOFT ACM软件工程特别兴趣小组“]}，”container-title“：[”第四届印度软件工程会议记录“]，”original-title”：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/1953369”，“content-type”：“unspecified”，“content-version”：“vor”，“预期应用程序”：“相似性检查”｝]，“存放”：｛“日期部分”：[[2023,1,14]]，“日期-时间”：“2023-01-14T03:41:55Z”，“时间戳”：1673667715000｝，“分数”：1，“资源”：｛“主要”：｛“URL”：“https:\/\/dl.acm.org/doi\/10.11145\/19533551.5953369”｝，“副标题”：[]，“短标题”：[]，“发布”：｛“日期部分”：[[2011,2,24]]｝，“引用计数”：14，“alternative-id“：[”10.1145\/195355.1953369“，”10.1145\/1953355“]，”URL“：”http://\/dx.doi.org\/10.1145\/1953369”，“关系”：{}，“主题”：[]，“发布”：{“日期部分”：[[2011,2,24]]}，”断言“：[{“值”：“2011-0224”，“顺序”：2，“名称”：“发布”，“标签”：“已发布”，”组“名称”publication_history“，”label“：”出版物历史“}}]}}