{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部分”：[[2024,6,21]]，“日期-时间”：“2024-06-21T02:54:28Z”，“时间戳”：1718938468934}，“出版商位置”：“美国纽约州纽约市”，“引用-计数”：40，“出版者”：“ACM”，“内容-域”：[“dl.ACM.org”]，“交叉标记-re striction“：true}，”short-container-title“（限制）：[]，“published-print”：{“date-parts”：[[2009,7,19]]}，“DOI”：“10.1145\/1572272.1572286”，“type”：“proceedings-article”，“created”：{“date-ports”：[2009,7，28]]，“date-time”：“2009-07-28T12:45:28Z”，“timestamp”：1248785128000}，《update-policy》：“http://dx.DOI.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：150，“title”：[“HAMPI”]，“prefix”：“10.1145”，“author”：[{“given”：“Adam”，“family”：“Kiezun”，”sequence“：”first“，”affiliation“：[{name“：”麻省理工学院，马萨诸塞州坎布里奇“}]}，{given“：”Vijay“，”family“：”Ganesh“，”segment“：”additional“，”filiation，“sequence”：“additional”，“affiliation”：[{“name”：“Stanford University，Stanford，CA，USA”}]}，{“given”：“Pieter”，“family”：“Hooimeijer”，”sequence“：”additional“，”affiliance“:[{”name“University of Virginia，Charlottesville，VA，USA“}]}，{”given“：”Michael D.“，”family“：”Ernst“，”se序列“：”additional“”，”affaliation“：[{name”：“华盛顿大学，西雅图，WA，USA”}]}，“成员”：“320”，“在线发布”：{“日期部分”：[[2009,7,19]]}，“参考”：[{“密钥”：“e_1_3_2_1_1”，“doi断言者”：“publisher”，“doi”：“10.1007\/978-3-540-70583-3_34”}，{“密钥”：“e_1_3_2_2_1”，“doi断言者”：“publisher”，“doi”：“10.1007\/11527695_5”}，{“密钥”：“e_1_1 3_2_1_3_1”，“卷标题”：“Advances in Computers”，“author”：“Biere A.”，“year”：“2003”，“nonstructured”：“A.Biere，A.Cimatti，E.Clarke，O.Strichman，and Y.Zhu。有界模型检查。Advances in Computers，2003。A.Biere，A.Cimatti，E.Clarke，O.Strichman，and Y.Zhu。有界模型检查。Advances in Computers，2003。”}，{“key”：“E_1_3_2_4_1”，doi断言为：“publisher”，“DOI”：“10.1007\/978-3642-00768-2_27”}，{“key”：“e_1_3_2_1_5_1”，《volume-title》：“OSDI”，“author”：“Cadar C.”，“year”：“2008”，“unstructured”：“C.Cadar，D.Dunbar，and D.R.Engler。Klee：为复杂系统程序自动生成高覆盖率测试。在OSDI中，2008。恩格尔。Klee：为复杂系统程序自动生成高覆盖率测试。在OSDI，2008年。978-3-540-24730-2_15“}，{“密钥”：“e_1_3_2_1_9_1”，“doi-asserted-by”：“出版商”，“doi”：“10.5555\/1792734.1792766“}，{“key”：“e_1_3_2_1_10_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1273463.1273484“}、{“key”：“e_1_3_2_11_1”，“unstructured”：“Brics有限状态自动机实用程序。http://www.Brics.dk\/automon\/faq.html。Brics有限态自动机实用工具。http://www.brices.dk\/automaton\/foq.html”}，{“键”：“e_1_3_2_12_1”，“非结构化“：”有限状态自动机实用程序。http://www.let.rug.nl\/~vannoord\/Fsa\/Fsa.html。有限状态自动机实用程序。http://www.let.rug.nl\/~vannoord\/Fsa\/Fsa.html。“}，{”key“：”e_1_3_2_13_1“，”unstructured“：”AT&T FSM library.http:\/\/www.research.att.com\/~fsmtools\/FSM.AT&T FSM library.http://\/www.research.att.com\/~fsmtols\/FSM.“}”，{“key”：“e_1_ 3_2_14_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/COMPSAC.2007.43“}_1_15_1“，”volume-title“：”CAV“，”author“：”Ganesh V.“，“年份”：“2007”，“非结构化”：“V.Ganesh和D.L.Dill。位向量和数组的判定过程。2007年在CAV。V.Ganesh和D.L.Dill。位向量和数组的判定过程。在CAV，2007年。：“2008年”，“非结构化”：“P.Godefroid、M.Y.Levin和D。莫尔纳。自动白盒模糊测试。NDSS，2008年。P.Godefroid、M.Y.Levin和D.Molnar。自动白盒模糊测试。在NDSS，2008.“}，{”key“：”e_1_3_2_1_19_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1375581.1375616”}，“key”：“e_1_ 3_2_1_20_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/TSE.2007070748“}”，{2476.1542498“}，{”key“：”e_1_3_2_1_22_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/347324.383378“}，{“key”：“e_1_3_2_1_23_1”，“volume-title”：“NFM”，“author”：“Jayaraman K.”，“year”：“2009”，“unstructured”：“K.Jayaramon，D.Harvison，V.Ganesh，and A.Kie | un。j Fuzz:Java的一个和谐白盒模糊器。在NFM，2009年。基辅。jFuzz：一个针对Java的混合白盒模糊器。在NFM，2009.”}中，｛“key”：“e_1_3_2_1_24_1”，“volume title”：“ICSE”，“author”：“A.”，“year”：“2009”，“nonstructured”：“A.Kie|un，P.J.Guo，K.Jayaraman和M.D.Ernst.SQL注入和跨站点脚本攻击的自动创建。在ICSE，2009.A.Kie|un，P.J.Guo，K.Jayaraman和M.D。恩斯特。自动创建SQL注入和跨站点脚本攻击。在ICSE，2009年。“}，{”key“：”e_1_3_2_1_25_1“，”volume-title“：”WCSL“，“author”：“Klarlund N.”，“year”：“1998”，“unstructured”：“N.Klarlud.Mona&Fido：实践中的逻辑自动机连接。在WCSL，1998年。I“：”10.1145\/1321631.1321653“}，{“key”：“e_1_3_2_1_27_1”，“volume-title”：“自由半群中方程的可解性问题。Sbornik:数学，32（2）”，“author”：“Makanin G.”，年：“1977年”，“非结构化”：“G.Makanin.自由半群方程的可求解性问题。马卡宁。自由半群中方程的可解性问题。Sbornik:Mathematics，32（2），1977。“}，{”key“：”e_1_3_2_1_28_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1060745.1060809”}，“key”：“e_1_3_1_29_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/378239.379017“}”，{sant G.“，”year“：”2004“，”unstructured“：”G。佩森特。有限变量序列的正则语言成员约束。在CP，2004年。G.佩桑特。有限变量序列的正则语言成员约束。在CP，2004年。“}，{”key“：”e_1_3_2_1_31_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/1189205_64“}、{”密钥“：”e_1_3_2_1_32_1“、”doi-sserted-by”：“publisher”，“doi”：“10.5555\/645814.668872”}，“key”：“e_1_ 2_3_1”，”doi-asserted-by“：“publicher”，”doi:“10.1109\/TASE。2008.25“}，{”key“：”e_1_3_2_1_34_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1081706.1081750“}，{“key”：“e_1_3_2_1_35_1”，“doi-asserted-by”：“publisher”，”doi“：”10.5555\/1308173.1308254“}”，{键“：”e_1_ 3_2_1_1_36_1“，”doi-assert-by“：”publisher“，“doi”：“10.5555\/524279”}，“key“：”e_1_3_1_37_1“/1250734.1250739“}，{”key“：”e_1_3_2_1_38_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1368088.1368112“}，{“key”：“e_1_3_2_1_39_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/1390630.1390661“}”，{”key“：”e_1_ 3_2_1_40_1“，”volume-title“：”CAV“，”author“：”Xie Y.“，”year“2007”，“unstructured”：“Y.Xie和A.Aiken。Saturn：使用布尔可满足性进行错误检测的可扩展框架。在CAV中，2007年。Y.Xiea和A。艾肯。Saturn：使用布尔可满足性进行错误检测的可扩展框架。在CAV，2007年。“}”，“event”：{“name”：“ISSTA'09:软件测试与分析国际研讨会”，“location”：“Chicago IL USA”，“缩写词”：“ISSTA'09”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”，“ACM计算机协会”，“SIGSOFT ACM软件工程特别兴趣小组“]}，”container-title“：[“第十八届软件测试与分析国际研讨会论文集”]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1572272.1572286”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,1,9]]，“date-time“：”2023-01-09T17:33:33Z“，”timestamp“：1673285613000}，”score“：1，”resource“：{“primary”：{”URL“：”https:\/\/dl.acm.org\/doi\/10.1145\/1572272.1572286“}}，“subtitle”：[“字符串约束求解器”]，“short title”：[]，“issued”：{“date-parts”：[[2009,7,19]]}、“references-count”：40，“alternative-id”：[”10.1145\/1572272.1572286“，”10.1145\/1572272“]，“URL“：”http://\/dx.doi.org\/10.1145\/1572272.1572286“，”relationship“：{}，”subject“：[]，”published“：{”date-parts“：[[2009,7,19]]}，“assertion”：[{“value”：“2009-07-19”，“order”：2，“name”：“published”，“label”：“published”，“group”：{“name”:“publication_history”，“标签”：“publication history”}}]}}}