{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,5,15]]，“日期-时间”：“2024-05-15T17:02:05Z”，“时间戳”：1715792525658}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：27，“出版商”：“ACM”，“内容-域”：[dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2013,8,18]]}，“DOI”：“10.1145\/2491411.2491450”，“type”：“proceedings-article”，“created”：{“date-parts”：[2013,8,20]]，“date-time”：“2013-08-20T14:07:21Z”，“timestamp”：1377007641000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：463，“title”：[“Dynodroid:Android应用程序的输入生成系统”]，“prefix”：“10.1145”，“author”：[｛“given”：“Aravind”，“family”：“Machiri”，“sequence”：“first”，“affiliation”：[｛“name”：“Georgia Tech，USA”}]｝，｛“given”：“Rohan”，“family”：“Tahiliani”，“sequence”：“additional”，“affiliation”：[｛“name”：“Georgia Tech，USA”}]｝，｛“given”：“Mayur”，“family”：“Naik”，“sequence”：“additional”，“affiliation”：[{“name”：“Georgia Tech，USA”}]}]，“member”：“320”，“published-online”：{“date-parts”：[[2013,8,18]]}，“reference”：[}“key”：“e_1_3_2_1_1”，“unstructured”：“DroidBox:Android应用程序沙箱。http://code.google.com\/p\/DroidBox\/.DroidBox:Android application沙箱。/.“}，{”键“：“e_1_3_2_1_2_1”，“unstructured”：“EMMA\n:免费Java代码覆盖工具。http://\/EMMA.sourceforge.net\/.EMMA:免费Java编码覆盖工具。http:\/\/EMMA.Sourceforgere.net\/.”}，{“key”：“e_ 1_3_2 _1_3_1”、“unstrustured”:“免费和开放源代码应用程序库。https:\/\/f-droid.org\/.免费和开放源码应用程序库.https:\///f-droid.org\/.}”，{“key”：“e_1_3_2_1_4_1”，“unstructured”：“GUITAR\n：用于自动化GUI测试的基于模型的系统。http://\/guita.sourceforge.net\/.GUITAR：用于自动化图形用户界面测试的基于模型的系统：“层次结构查看器。http://\\/developer.android.com/tools\/help\/Hierarchy-Viewer.html。层次结构查看器http://\\developer.android.com/tools/help\/heirarchy-Viewer.html”}，{“key”：“e_1_3_2_1_6_1”，“非结构化”：“使用中的Android版本的历史分布。http://\/developer.Android.com/about\/dashboards\/index.html。使用中的安卓版本的历史分配。http://\developer.Android.com/about\/dashboors\/index.html.”}，{“key”：“e_1_3_2_1_7_1”，“unstructured”：“UI\/Application Exerciser Monkey.http:\/\/developer.android.com/tools\/help\/Monkey.html.UI\/Application-Exerciser Monkey.html.”}，{“key”：“e_1_3_2_1_8_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1145\/2351717“}”key“：”e_3_2_9_1“，”doi-assert-by“：“出版商”、“内政部”：“10.1145\/2393596.2393666”}，{“key”：“e_1_3_2_10_1”，“doi-asserted-by”：“publisher”，”doi“：”10.1109\/TSE.2010.12“}，”key“：”e_1_ 3_2_11_1“，”volume-title“：”第八届USENIX操作系统设计与实现（OSDI）研讨会论文集“，”author“：”Cadar C.“，”year“：”2008“，”unstructured“：”C.Cadar，D.Dunbar，and D。恩格尔。KLEE：为复杂系统程序自动生成高覆盖率测试。第八届USENIX交响乐团会议记录。操作系统设计与实现（OSDI），2008年。C.Cadar、D.Dunbar和D.Engler。KLEE：为复杂系统程序自动生成高覆盖率测试。第八届USENIX交响乐团会议记录。《操作系统设计与实现（OSDI）》，2008年。“}，{“key”：“e_1_3_2_12_1”，“volume-title”：“第九届USENIX操作系统设计和实现研讨会论文集”，“author”：“Enck W.”，“year”：“2010”，“unstructured”：“W.Enck，P.Gilbert，B.-G.Chun，L.Cox，J.Jung，P.McDaniel，and A。谢斯。Taintdroid：智能手机上实时隐私监控的信息流跟踪系统。在第九届USENIX Symp。《操作系统设计与实现（OSDI）》，2010年。W.Enck、P.Gilbert、B.-G.Chun、L.Cox、J.Jung、P.McDaniel和A.Sheth。Taintdroid：智能手机上实时隐私监控的信息流跟踪系统。在第九届USENIX Symp。操作系统设计与实现（OSDI），2010年。“}，{”key“：”e_1_3_2_13_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/199732.199740”}，“key”：“e_1_ 3_2_14_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/106501060.1065036“}”，{“10.1145\/2338965.2336762”}，{“密钥”：“e_1_3_2_16_1“，”doi-asserted-by“：“publisher”，“doi”：“10.1145\/1982595.1982612”}，{“key”：“e_1_ 3_2_1_17_1”，”volume-title“：”Symdroid：dalvik字节码的符号执行“，”author“：”Jeon J.“，“year”：“2012”，“unstructured”：“J.Jeon，K.Micinski，and J。培养。Symdroid：dalvik字节码的符号执行，2012年。http://www.cs.umd.edu\/~jfoster \/papers\/symdroid.pdf。J.Jeon、K.Micinski和J.Foster。Symdroid：dalvik字节码的符号执行，2012年。http://www.cs.umd.edu\/~jfoster \/papers\/symdroid.pdf。“}，{”key“：”e_1_3_2_18_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/360248.360252”}，“key”：“e_1_ 3_2_19_1”，“doi-assert-by”：“publisher”，”doi“：”10.5555\/2663608.2663613“}”，{}，{“key”：“e_1_3_2_1_21_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145\/940071.940088”}，{“key”：“e_1_3_2_1_22_1”，“doi-asserted-by”：“publisher”，“doi”：“10.1145 \/2382756.2382798”}，{”key“：”e_1_ 3_2_1_2 3_1“，”doi-assert-by“：”publisher“，“doi:”10.1109\/ICST.2011.11 key“：”e_1_3_2_1_25_1“，”volume-title“：”第21届USENIX安全研讨会论文集“，“author”：“Yan L.”，“year”：“2012”，“unstructured”：“L.Yan和H.Yin。DroidScope：无缝重构操作系统和Dalvik语义视图，用于动态Android恶意软件分析。第21届USENIX安全研讨会论文集，2012年。阴。DroidScope：无缝重建操作系统和Dalvik语义视图，用于动态Android恶意软件分析。第21届USENIX安全研讨会论文集，2012年。“}，{”key“：”e_1_3_2_1_26_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/TSE.2010.50”}，“key”：“e_1_3_2_1_27_1”，“doi-assert-by”：“publisher”，”doi“：”10.1109\/TSE.2009.68“}]，“event”：{“name”：“ESEC \/FSE’13：欧洲软件工程会议和ACM SIGSOFT软件工程基础研讨会联合会议”，“地点”：“俄罗斯圣彼得堡”，“缩写”：“ESEC \/FSE’13”，“赞助商”：[“SIGSOFT-ACM软件工程特别兴趣小组”]}，“集装箱标签”：[”2013年第九次软件工程基础联席会议论文集“]，”原标题“：[]，”链接“：[｛”URL“：”https:\/\/dl.acm.org/doi\/pdf\/10.1145\/249411.2491450“，”内容类型“：”未指定“，”内容版本“：”vor“，”预期应用“：”相似性检查“｝]，”存放“：｛”日期部分“：[[2023,1,10]，”日期时间“：”2023-01-10T17:26:27Z“，”timestamp“：1673371587000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2491411.2491450”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[[2013,8,18]]}，《references-count》：27，“alternative-id”：[“10.1145\/24914.11.249145”，“”10.1145\/2491411“]，”URL“：”http://\/dx.doi.org\/10.1145\/2491411.2491450“，”关系“：{}，”主题“：[]，”发布“：{”日期部分“：[[2013,8,18]]}，“断言”：[{”值“：”2013-08-18“，”顺序“：2，”名称“：”发布“，”标签“：”已发布“，“组”：{“名称”：“publication_history”，“标签”：“发布历史”}}}}