{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,9,14]]，“日期-时间”：“2024-09-14T17:15:24Z”，“时间戳”：1726334124047}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：47，“发布商”：“ACM”，“内容-域”：[“dl.ACM.org”]，“交叉标记-严格离子“：true}，”短容器时间“：[]，“published-print”：{“date-parts”：[[2013,10,29]]}，“DOI”：“10.1145\/2509136.2509552”，“type”：“proceedings-article”，“created”：{“date-parts”：[2013,10,23]]，“date-time”：“2013-10-23T15:29:17Z”，“timestamp”：1382542157000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source”：“Crossref”，“is-referenced-by-count”：149，“title”：[“通过最小重启和近似学习对android应用程序进行引导GUI测试”]，“前缀”：“10.1145”，“作者”：[{“给定”：“Wontae”，”family“：”Choi“，”sequence“：”first“，”affiliation“：[{name“：”加州大学伯克利分校，CA，USA“}]}，{“指定”：“George”，“family”：“Necula”，“sequence”：“additional”，“affiliance”：[}“name”：“加利福尼亚大学伯克利分校”}]}，{“given”：“Koushik”，“family”：“Sen”，“sequence”：“additional”，“affiliation”：[{“name”：“加州大学伯克利校区”}]]，“member”：“320”，“published-on-line”：{“date-parts”：[[2013,10,29]]}：“管理活动生命周期。http://\/developer.android.com/training\/basics\/Activity-Lifecycle\/index.html。管理活动生命期。http://\developer.android.com/training \/bascision\/Activity-lifelifecycle \/index.html.”}，{“key”：“e_1_3_2_1_1”，“unstructured”：“MonkeyRunner.http:\/\/developer.android.com/tools\/help\/MonkeyRunner_concepts.html.MonkeyRunner.http:/\/deveeloper.android=com/tools\-help\/MonkeyRunner _concept.html.”}，{“key”：“e_1_3_2_1_3_1”，“非结构化”：“UI\/Application Exerciser Monkey.http:\/\/developer.android.com/tools\/help\/Monkey.html.UI\/Aapplication Exerciser Monkey.html.”}，{“key”：“e_1_3_2_1_4_1”，“unstructured”：“axml读取和写入android二进制xml文件。http://code.google.com/p/axml\/2012。axml读写Android二进制xml文件。http://code.google.com/p/axml\/2012.“}，{”key“：”e_1_3_2_1_5_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1040305.1040314”}，“key”：“e_1_ 3_2_1 _6_1”，“doi-assert-by”：“publisher”，”doi“：”10.1145\/2351676.2351717“}”，{“，”doi“：”10.1145\/2393596.2393666“}，{”key“：”e_1_3_2_1_8_1“，”doi-asserted-by“：”publisher“，”DOI“：”10.1007\/s10270-004-0077-7“}，{“key”：“e_1_3_2_1_9_1”，“DOI-asserted-by”：“publisher”，”DOI:“10.1145\/322326.32234”}，“{”key“：”e_1_ 3_2_1_10_1“，“doiasserted-by“，”卷时间“：”第十二届软件可靠性工程国际研讨会（ISSRE'01）”，“作者”：“Belli F.”，“非结构化”：“F.Belli。图形用户界面的有限状态测试和分析。第12届软件可靠性工程国际研讨会（ISSRE’01），第34页。IEEE计算机学会，2001年。F.贝利。图形用户界面的有限状态测试和分析。第12届软件可靠性工程国际研讨会（ISSRE’01），第34页。IEEE Computer Society，2001.“}，{”key“：”e_1_3_2_12_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1007\/978-3-540-31984-9_14“}”，{“key”：“e_1_ 3_2_13_1”，“doi-assert-by”：“publisher”，”doi:“10.5555\/1765871.1765903”}，”key：“e_ 1_3_2 _14_1”、“首页”：“115”，“volume-title”：“ICGI”，“author”：“Coste F.”，“year”：“2004”，“unstructured”：“F.Coste，D。Fredouille、C.Kermorvant和C.de la Higuera。在自动机推理中引入领域和类型偏差。在ICGI中，第115-126页，2004年。F.Coste、D.Fredouille、C.Kermorvant和C.de la Higuera。在自动机推理中引入领域和类型偏差。在ICGI中，第115-126页，2004年。加西亚。识别多项式中的正则语言。《结构和句法模式识别进展》，机器感知和人工智能系列第5卷，第99-108页。《世界科学》，1992年。J.N.Departarnento和P.Garcia。识别多项式中的正则语言。《结构和句法模式识别进展》，机器感知和人工智能系列第5卷，第99-108页。世界科学，1992年。“}，{”key“：”e_1_3_2_1_16_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145 \/1065010.1065036”}，“key”：“e_1_ 3_2_17_1”，“首页”：“521”，“volume-title”：“CAV”，“author”：“Groce A.”，“year”：“2002”，“unstructured”：“A.Groce，D.Peled，and M.Yannakakakakakis。AMC：自适应模型检查器。在CAV中，页521-5252002年。A.Groce，D。Peled和M.Yannakakis。AMC：自适应模型检查器。在CAV，第521页至第525页，2002年。“｝，｛“key”：“e_1_3_2_1_18_1”，“doi由”：“publisher”断言，“doi”：“10.1093\/jigpal\/jzl007”｝，｛“key”：“e_1_3_2_19_1”，“doi由”：“publisher”断言，“doi”：“10.1007\/978-3-642-34026-0_33”｝，｛“key”：“e_1_3_2_1_20_1”，“doi由”：“publisher”断言，“doi”：“10.1145\/198221855.1982504“｝，｛”key“：”e_1_3_2_1_21_1“，”doi断言者“：”publisher“，”DOI“：”10.1007\/978-3-540-88009-7_11“}，{“key”：“e_1_3_2_1_22_1”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/BFb0054059”}，“key“：”e_1_ 3_2_1_2 3_1“，“DOI-asserted-by”：”publisher publisher“，”DOI“：”10.1023\/A:1025055424017“}，{“key”：“e_1_3_2_1_25_1”，“DOI-asserted-by”：“publisher“，”DOI“：”10.1145\/2491411.2491450“}，{“key”：“e_1_3_2_1_26_1”，“first page”：”134“，“volume-title”：“TAP”，“author”：“Meinke K.”，“year”：“2011”，“unstructured”：“K.Meinke and M.A.Sindhu。基于增量学习的反应系统测试。在TAP中，第134页--151，2011。K.Meike and M.A。信德湖。反应系统的基于增量学习的测试。在TAP中，第134-151页，2011年。“}，{”key“：”e_1_3_2_1_27_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1007\/978-3642-34026-0_32”}，“key”：“e_1_ 3_2_1_2 8_1”，“doi-assert-by”：“publisher”，”doi“：”10.1002\/stvr.v17:3“}”，{I“：”10.1145\/2109205.2109208“}，{“key”：“e_1_3_2_1_30_1”，“doi-asserted-by”：“publisher“，”DOI“：”10.1145\/2382756.2382798“}，{”key“：”e_1_3_2_1_31_1“，”volume-title“：”ASMDEX“，“author”：“Nevo J.”，“unstructured”：“J.Nevo and P.Cr\u00e9gut.ASMDEX.http://asm.ow2.org\/ASMDEX-index.html，2012。J.Nevo和P.Cr\u00e9gut。ASMDEX公司。http:\/\/asm.ow2.org\/asmdex-index.html，2012.“}，{”key“：”e_1_3_2_1_32_1“，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/1468075.1468083“}”，{“key”：“e_1_ 3_2_1_1_33_1”，“doi-assert-by”：“publisher”，”doi:“10.1145\/2338965.2336765”}，”{“key”：”e_ 1_3_2 _1_34_1“，“首页”：“225”，“volume-title”：“FORTE”，“author”：“Peled D.”，“year”：“1999”，“unstructured”：“D。Peled、M.Y.Vardi和M.Yannakakis。黑盒检查。在FORTE，第225-240页，1999年。D.Peled、M.Y.Vardi和M.Yannakakis。黑盒检查。在FORTE中，第225-240页，1999年。“}，{”key“：”e_1_3_2_1_35_1“，”first page“：“136”，”volume-title“：”Haifa Verification Conference“，“author”：“Raffelt H.”，“year”：“2007”，“unstructured”：“H.Raffelt，B.Steffen，和T.Margaria。通过自动机学习进行动态测试。在Haifa验证会议中，第136-152页，2007年。H.Rafelt，B。Steffen和T.Margaria。通过自动机学习进行动态测试。海法验证会议，第136-152页，2007年。“10.1145\/73007.73047”}，{“键”：“e_1_3_2_1_39_1”，“第一页“：”80“，”卷标题“：”FTCS“，”作者“：”Shehady R.K.“，”年份“：”1997“，”非结构化“：”R.K.Shehaddy和D.P.Siewiorek。使用可变有限状态机自动化用户界面测试的方法。FTCS，第80-88页，1997年。R.K.Shehady和D.P.Siewiorek。一种使用可变有限状态机实现用户界面测试自动化的方法。在FTCS中，第80-88页，1997年。“}，{”key“：”e_1_3_2_1_40_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1109\/ICST.2011.11”}，“key”：“e_1_a_2_1_41_1”，“doi-assert-by”：“publisher”，”doi“：”10.5555\/1928028.1928038“}”，{007\/978-3-642-05089-3_20“}，{“键”：“e_1_3_2_1_43_1”，“doi-asserted-by”：“publisher，“DOI”：“10.5555\/851024.856239”}，{“key”：“e_1_3_2_1_44_1”，“首页”：“60”，“volume-title”：“FATES”，“author”：“Xie T”，“year”：“2003”，“unstructured”：“T.Xie和D.Notkin。相互增强测试生成和规范推断。在FATES中，第60-69页，2003年。T.Xia和D。诺金。相互增强测试生成和规范推理。在《命运》杂志，第60-69页，2003年。“：”10.1016\/j.infsof.2009.11.009“}]，“事件”：{“名称”：“SPLASH’13：系统、编程和应用会议：人性化软件”，“地点”：“美国印第安纳州印第安纳波利斯”，“缩写词”：“SPLASH'13”，“赞助商”：[“SIGPLAN ACM编程语言特别兴趣小组”]}，“container-title”：[2013年ACM SIGPLAN面向对象编程系统语言与应用国际会议论文集“]，”original-title“：[]，”link“：[{”URL“：”https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/2509136.2509552“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2023,9,4]]，“date-time”：“2023-09-04T21:10:29Z”，“timestamp”：1693861829000}，“score”：1，“resource”：{“primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/2509136.2509552”}}，”subtitle“：[]，”shorttitle“：[]，”issued“：{”date-part“：[2013,10,29]]}”，“references-count”：47，“alternative-id“：[”10.1145\/2509136.2509552“，”10.1145\/2509136“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/2509136.2509552“，“关系”：{“is-idential-to”：[{“id-type”：“doi”，“id”：“10.1145\/2544173.2509552”，“asserted-by”：“object”}]}，“主题”：[]，“已发布”：{-“date-parts”：[[2013,10,29]]}“：”“published”“，”group“：{”name“：”publication_history“，”label“：”出版历史“}}]}}