{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{-“日期-部分”：[[2024,9,11]]，“日期-时间”：“2024-09-11T13:23:16Z”，“时间戳”：1726060996299}，“发布者位置”：“美国纽约州纽约市”，“引用-计数”：66，“发布商”：“ACM”，“内容-域”：“域”：[”dl.ACM.org“]，“交叉标记-striction“：true}，”short-container-title“（限制）：[]，“published-print”：{“date-parts”：[[2020,6,11]]}，“DOI”：“10.1145\/3385412.3386014”，“type”：“proceedings-article”，“created”：{“date-parts”：[2020,6,7]]，“date-time”：“2020-06-07T01:40:10Z”，“timestamp”：1591494010000}，《update-policy》：“http://\/dx.DOI.org\/10.1145\/crossmark-policy”，“source“：”Crossref“，”is-referenced-by-count“：14，”title“：[“Gillian，part i:a multi-language platform for symbol execution”]，“prefix”：“10.1145”，“author”：[{“given”：“Jos\u00e9”，“family”：“Fragoso Santos”，“sequence”：“first”，“affiliation”：[}“name”：“INESC-ID，Portugal\/Instituto Superior T\u00e9cnico，University of Lisbon，Portugal \/Imperial College London，UK”}]}，{“Givent”：“Petar”，“家族：“Maksimovi\u0107”，“sequence”：“additional”，“affiliation”：[{“name”：“Imperial College London，UK”}]}，{“given”：“Sacha-\u00c9lie”，“family”：“Ayoun”，“serquence”:“additionable”，“feliation”:[{（名称）：“Imerial Collection London”}]{，“givent”：“Philippa”，“家人”：“Gardner”，“sequence”（序列）：“additive”，“从属关系”：“[{”名称：“Imper College Lendon，英国”}]}]，“member”：“320”，“published-on-line”：{“date-parts”：[[2020,6,11]]}，“reference”：[{“key”：“e_1_3_2_1_1_1”，“unstructured”：“R.Baldoni e.Coppa D.Cono D\u2019Elia C.Demetrescu和I.Finocchi.2018。符号执行技术综述。ACM计算调查51 3（2018）50:1\u201350:39。Gillian Part I：符号执行的多语言平台PLDI\u201920 June 15\u201320 2020 London UK R.Baldoni E.Coppa D.Cono D\u2019Elia C.Demetrescu和I.Finocchi。2018年，符号执行技术调查。ACM计算调查51 3（2018）50:1\u201350:39。Gillian Part I:A Multi-language Platform for Symbolic Execution PLDI\u201920 June 15\u201320 2020 London UK“}，{“key”：“e_1_3_2_1_2_1”，“unstructured”：“A.Banerjee and D.A.Naumann.2002。类Java语言中的安全信息流和指针约束。在CSFW中。A.Banerjee和D.A.Naumann。2002.类Java语言中的安全信息流和指针限制。在CSFW中。“}，{”key“：”e_1_3_2_1_3_1“，”doi-asserted-by“：”crossref“，“unstructured”：“J.Berdine C.Calcagno和P.W.O\u2019Hearn.2005。使用分离逻辑的符号执行。在APLAS。52\u201368。J.Berdine C.Calcagno和P.W.O\u2019Hearn。2005.分离逻辑的符号执行。在APLAS。52\u201368.“，”DOI“：”10.1007\/11575467_5“}，{”key“：”e_1_3_2_1_4_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“F.Besson S.Blazy and P.Wilke.2017。CompCertS:一个经过内存软件验证的C编译器，使用指针作为整数语义。在ITP中。F.Besson S.Blazy和P.Wilke。2017.CompCertS:使用指针作为整数语义的经过内存软件验证的C编译器。在ITP中。“，”DOI“：”10.1007\/978-3-319-66107-0_6“}，{”key“：”e_1_3_2_1_5_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“M.Bodin P.Gardner T.Jensen和A.Schmitt.2019。骨架语义学及其解释。PACMPL 3 POPL（2019）44:1\u201344:31。M.Bodin P.Gardner T.Jensen和A.Schmitt。2019.骨架语义学及其解释。PACMPL 3 POPL（2019）44:1\u201344:31.“，”DOI“：”10.1145\/3290357“}，{”key“：”e_1_3_2_1_6_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“D.Bogdanas and G.Rosu.2015。K-Java：Java的完整语义。在POPL中。D.Bogdanas和G.Rosu。2015.K-Java：Java的完整语义。在POPL中。“，”DOI“：”10.1145\/2676726.2676982“}，{”key“：”e_1_3_2_1_7_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“J.Bornholt and e.Torlak.2018。在符号评估下查找爆炸代码。PACMPL 2 OOPSLA（2018）149:1\u2013149:26。J.Bornholt和E.Torlak。2018.查找符号评估下爆炸的代码。PACMPL 2 OOPSLA（2018）149:1\u2013149:26.“，“DOI”：“10.1145\/3276519”}，{“key”：“e_1_3_2_1_8_1”，“unstructured”：“M.Botin\u010dan D.Distefano M.Dodds R.Grigore D.Naud\u017ei\u00afunien\u02d9e和M.J.Parkinson，2011。coreStar：jStar的核心。在布吉。M.Botin\u010dan D.Distefano M.Dodds R.Grigore D.Naud\u017ei\u00afunien\u02d9e和M.J.Parkinson。2011年，coreStar：jStar的核心。在布吉。“}，｛”key“：”e_1_3_2_1_9_1“，”doi断言者“：”crossref“，”非结构化“：”S.Bucur J.Kinder和G.Candea。2014。解释语言的符号执行引擎原型。在ASPLOS中。S.Bucur J.Kinder和G.Candea。2014.解释语言符号执行引擎原型。在ASPLOS中。“，”DOI“：”10.1145\/2541940.2541977“}，{”key“：”e_1_3_2_1_10_1“，”volume-title“：”KLEE:复杂系统程序的高覆盖率测试的无协助自动生成..In OSDI“，”author“：”Cadar C.“，”year“：”2008“}“，3_2_1_12_1“，”卷时间“：”实践：初步评估。在ICSE中。“，”author“：”Cadar C.“，”year“：”2011“}，”{“key”：“e_1_3_2_13_1”，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/2408776.2408795“}”，{“密钥”：“e_1_3_2_1_14_1”、“volume-title”：“推断：C程序内存安全的自动程序验证程序。在NASA形式方法研讨会上。”，“author”：“Calcagno C.”}，“key“：”e_1_ 3_2_1_15_1“，“doi”asserted-by“：”crossref“，”非结构化“：”C.Calcagno D.Distefano P.W.O\u2019Hearn和H.Yang。2011年，通过Bi-Abduction进行成分形状分析。JACM 58（2011）26:1\u201326:66。C.Calcagno D.Distefano P.W.O\u2019Hearn和H.Yang。2011年，通过Bi-Abduction进行成分形状分析。JACM 58（2011）26:1\u201326:66.“，”DOI“：”10.1145\/2049697.2049700“}，”key“：”e_1_3_2_16_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1145\/512950.512973”}，{“key”：“e_1_ 3_2_17_1”，“DOI-assert-by”：“crossref”，”unstructured“：”D.Darais M.Might和D.Van Horn.2015。Galois变换器和模块化抽象解释器：程序分析的可重用元理论。在OOPSLA中。D.Darais M.Might和D.Van Horn。2015.Galois变形金刚和模块化抽象解释器：程序分析的可重用元理论。在OOPSLA中。“，”DOI“：”10.1145\/2814270.2814308“}，{”key“：”e_1_3_2_18_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“R.Dockins A.Foltzer J.Hendrix B.Huffman D.McNamee和A.Tomb.2016。使用软件分析工作台构建程序的语义模型。在VSSTE中。R.Dockins A.Foltzer J.Hendrix B.Huffman D.McNamee和A.Tomb。2016.使用软件分析工作台构建程序语义模型。在VSSTE中。“，”DOI“：”10.1007\/978-3-319-48869-1_5“}，{”key“：”e_1_3_2_1_19_1“，”unstructured“：”ECMA TC39。2017.Test262测试套件。https:\/\/github.com\/tc39\/test262。ECMA TC39。2017.Test262测试套件。https:\/\/github.com/tc39\/test262.“}，{”key“：”e_1_3_2_1_20_1“，”doi-asserted-by“：”publisher“，“doi”：“10.1145\/1273463.1273464”}，“key”：“e_1_3_2_1_21_1”，“volume-title”：“Redex：实用语义工程。技术报告。”，“author”：“Findler R.B.”，“year”：“2018”}由“：”publisher“，”doi“：”提供10.1016\/j.jlap.2010.03.012“}，{“key”：“e_1_3_2_1_23_1”，“doi-asserted-by”：“publisher”，”doi“：“10.1145\/1065010.1065036”}，}“key”：“e_1_3_2_1_24_1”、“unstructured”：“P.Godefroid M.Y.Levin和D.A.Molnar.2008。自动白盒引信测试。在NDSS中。P.Godefroid M.Y.Levin和D.A.Molnar。2008年，自动白盒模糊测试。在NDSS中。“}，{”key“：”e_1_3_2_1_25_1“，”doi-asserted-by“：”crossref“，“unstructured”：“P.Godefroid A.V.Nori S.K.Rajamani和S.Tetali.2010。作文必须程序分析：释放改变的力量。在POPL中。P.Godefrodid A.V.Nori S.K.Rajamani和S.Tetali。2010年，《五月份组合计划分析：释放交替的力量》。在POPL中。“，”DOI“：”10.1145\/1706299.1706307“}，{”key“：”e_1_3_2_1_26_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“C.Hathhorn C.Ellison and G.Rosu.2015。定义PLDI中C.的不定性。C.Hathhorn C.Ellison和G.Rosu。2015.在PLDI中定义C.的不确定性。“，”DOI“：”10.1145\/2737924.2737979“}，{”key“：”e_1_3_2_1_27_1“，”unstructured“：”e.Hildenbrandt M.Saxena N.Rodrigues X.Zhu P.Daian D.Guth B.M.Moore D.Park Y.Zhang A.Stefanescu and G.Rosu.2018。E.Hildenbrandt M.Saxena N.Rodrigues X.Zhu P.Daian D.Guth B.M.Moore D.Park Y.Zhang A.Stefanescu和G.Rosu。2018.“}，{“key”：“e_1_3_2_1_28_1”，“unstructured”：“KEVM\n:以太坊虚拟机的完整形式语义。在CSF中。KEVM:以太堡虚拟机的完全形式语义。”}，“key“：”e_1_ 3_2_1_2 9_1“，”doi-asserted-by“：”crossref“，“unsructured“：”D.Van Horn和M.Might.2010。抽象机器。在ICFP中。D.Van Horn和M.Might。2010年，抽象机器。在ICFP中。“，”DOI“：”10.1145\/1863543.1863553“}，{”key“：”e_1_3_2_1_30_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1017\/S095679681200238”}，“{”键“：”e_1_3_1_31_1“，“DOI-assert-by”：“crossref”，“unstructured”：“T.Kapus and C.Cadar.2019”。符号执行的分段内存模型。在ESEC\/FSE中。T.Kapus和C.Cadar。2019.符号执行的分段记忆模型。在ESEC\/FSE中。“，”DOI“：”10.1145\/3338906.3338936“}，{“key”：“e_1_3_2_1_32_1”，“DOI-asserted-by”：“publisher”，“DOI”：“10.1007\/s00165-014-0326-7”}，“{”key“：”e_1_s2_3_1_33_1“，”DOI-assert-by“：”crossref“，“unstructured”：“D.Kroening and M.Tautschnig.2014。CBMC\u2013 C边界模型检查器。在TACAS中。D.Kroening和M.Tautschnig。2014.CBMC\u2013 C边界模型检查器。在TACAS中。“，”DOI“：”10.1007\/978-3642-54862-8_26“}，{”key“：”e_1_3_2_1_34_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“S.Lau V.B.F.Gomes K.Memarian J.Pichon-Pharabod和Sewell P.2019。Cerberus-BMC：CAV中并发和顺序C的原则参考语义和探索工具。S.Lau V.B.F.Gomes K.Memarian J.Pichon-Pharabod和Sewell P.2019。Cerberus-BMC：CAV中并发和顺序C的原则参考语义和探索工具。“，”DOI“：”10.1007\/978-3-030-25540-4_22“}，{”key“：”e_1_3_2_1_35_1“，”volume-title“：”研究报告RR-7987“。印度。26页。“，”author“：”Leroy X.“，”year“：”2012“}，{”key“：”e_1_3_2_1_36_1“，”doi-asserted-by“：”crossref“，“unstructured”：“G.Li e.Andreasen and I.Ghosh，2014。SymJS：JavaScript Web应用程序的自动符号测试。在FSE中。G.Li E.Andreasen和I.Ghosh。2014.SymJS：JavaScript Web应用程序的自动符号测试。在FSE中。“，”DOI“：”10.1145\/2635868.2635913“}，{”key“：”e_1_3_2_1_37_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“B.Loring D.Mitchell和J.Kinder，2019。用于JavaScript动态符号执行的健全正则表达式语义。在PLDI中。B.Loring D.Mitchell和J.Kinder。2019.用于JavaScript动态符号执行的健全正则表达式语义。在PLDI中。“，”DOI“：”10.1145\/3314221.3314645“}，{”key“：”e_1_3_2_1_38_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“M.Might.2010。免费摘要口译。在SAS中。M.可能。2010年，免费摘要口译。在SAS中。“，”DOI“：”10.1007\/978-3642-15769-1_25“}，{”key“：”e_1_3_2_1_39_1“，”volume-title“：”毒蛇：基于许可推理的验证基础设施。在VMCAI中。“，”author“：”M\u00fcller P.“，“year”：“2016”}，”{“key”：“e_1_ 3_2_1_40_1”，“volume-title”：“”毒蛇：基于许可推理的验证基础设施。在《可靠软件系统工程》中，“author”：“M\u00fcller P.”，“year”：“2017”}，{“key”：“e_1_3_2_1_41_1”，”doi-asserted-by“：”publisher“，”doi“：”10.1145\/2628136.2628143“}，”{“密钥”：“e_1_3_2_1_42_1”、“doi-assert-by”：“crossref”、”unstructured“：”L.Nelson J.Bornholt R.Gu A.Baumann e.Torlak和X.Wang.2019。使用Serval自动验证系统代码的缩放符号评估。在SOSP中。L.Nelson J.Bornholt R.Gu A.Baumann E.Torlak和X.Wang。2019.使用Serval自动验证系统代码的缩放符号评估。在SOSP中。“，”DOI“：”10.1145\/3341301.3359641“}，{”key“：”e_1_3_2_1_43_1“，”unstructured“：”npm Inc.2018。npm是JavaScript的包管理器。https:\/\/www.npmjs.com.npm Inc.2018。npm是JavaScript的包管理器。https:\/\/www.npmjs.com.“}，{”key“：”e_1_3_2_1_44_1“，”volume-title“：”POPL“，“author”：“O\u2019Hearn Peter W.”，“year”：“2020”}，“key”：“e_1_3_2_1_45_1”，“doi-asserted-by”：“crossref”，”unstructured“：”D.Park A.Stefanescu and G.Rosu.2015。KJS：JavaScript的完整形式语义。在PLDI中。D.Park A.Stefanescu和G.Rosu。2015年，KJS:JavaScript的完整形式语义。在PLDI中。“，”DOI“：”10.1145\/2737924.2737991“}，{”key“：”e_1_3_2_1_46_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“D.Park Y.Zhang M.Saxena P.Daian和G.Rosu.2018。以太坊虚拟机字节码的正式验证工具。在FSE中。D.Park Y.Zhang M.Saxena P.Daian和G.Rosu。2018.以太坊虚拟机字节码的正式验证工具。在FSE中。“，”DOI“：”10.1145\/3236024.3264591“}，{”key“：”e_1_3_2_1_47_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“Y.Phang Khoo B.-Y.e.Chang和J.S.Foster，2010。混合类型检查和符号执行。在PLDI中。Y.Phang Khoo B.-Y E.Chang和J.S.Foster。2010.混合类型检查和符号执行。在PLDI中。“，”DOI“：”10.1145\/1806596.1806645“｝，｛”key“：”e_1_3_2_1_48_1“，”nonstructured“：”Racket.2017。Racket编程语言。frack-lang.org。球拍。2017.Racket编程语言。frack-lang.org。“}，{“key”：“e_1_3_2_1_49_1”，“volume-title”：“未经约束的符号执行：真实代码的正确性检查。在USENIX安全研讨会上。”，“author”：“Ramos D.A.”}，“key“：”e_1_ 3_2_1.50_1“，”doi-asserted-by“：”crossref“，“unstructured”：“M.Raza and P.Gardner.2009。局部推理中的足迹。《计算机科学中的逻辑方法》5 2（2009）。M.Raza和P.Gardner。2009.局部推理的足迹。《计算机科学中的逻辑方法》5 2（2009）。“，”DOI“：”10.2168\/LMCS-5（2:4）2009“}，{”key“：”e_1_3_2_1_51_1“，”unstructured“：”J.C.Reynolds.2002。分离逻辑：共享可变数据结构的逻辑。在LICS中。J.C.雷诺兹。2002.分离逻辑：共享可变数据结构的逻辑。在LICS中。“}，{”key“：”e_1_3_2_1_52_1“，”unstructured“：”S.Pani\u0107“。2014.C辑：通用数据结构库。https:\/\/github.com//srdja\/Collections-C.S.Pani\u0107。2014.C辑：通用数据结构库。https:\/\/github.com/srdja\/Collections-C.“}，{“key”：“e_1_3_2_1_53_1”，“volume-title”：“Gillian:所有人的合成符号执行。arXiv”，“author”：“Santos J.Fragoso”，《年份》：“2020年”}，}“key”：●●●●。JavaScript的符号执行。在PPDP中。J.Fragoso Santos P.Maksimovic T.Grohens J.Dolby和P.Gardner。2018年。JavaScript的符号执行。在PPDP中。“，”DOI“：”10.1145\/3236950.3236956“}，{”key“：”e_1_3_2_1_55_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“J.Fragoso Santos P.Maksimovic D.Naudziuniene T.Wood和P.Gardner.2018。JaVerT：JavaScript验证工具链。PACMPL 2 POPL（2018）50:1\u201350:33。J.Fragoso Santos P.Maksimovic D.Naudziuniene T.Wood和P.Gardner。2018年JaVerT：JavaScript验证工具链。PACMPL 2 POPL（2018）50:1\u201350:33.“，”DOI“：”10.1145\/3158138“}，{”key“：”e_1_3_2_1_56_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“J.Fragoso Santos P.Maksimovic G.Sampaio和P.Gardner.2019。JaVerT 2.0：JavaScript的合成符号执行。PACMPL 3 POPL（2019）66:1\u201366:31。J.Fragoso Santos P.Maksimovic G.Sampaio和P.Gardner。2019.JaVerT 2.0：用于JavaScript的合成符号执行。PACMPL 3 POPL（2019）66:1\u201366:31.“，”DOI“：”10.1145\/3290379“}，”key“：”e_1_3_2_1_57_1“，”volume-title“：”June 15\u201320“，”author“：”Santos M.“，“year”：“2020”}，“key”：“e_1_ 3_2_1 _58_1”，“DOI-asserted-by”：“crossref”，”unstructured“：”P.Saxena D.Akhawe S.Hanna F.Mao S.McCamant and D.Song.2010。JavaScript的符号执行框架。在S&P.Saxena D.Akhawe S.Hanna F.Mao S.McCamant和D.Song中。2010年。JavaScript的符号执行框架。在标准普尔中，“DOI”：“10.1109\/SP.20.1038”}，{“key”：“e_1_3_2_1_59_1”，“DOI断言”：“crossref”，“非结构化”：“D.A.Schmidt，1995。基于自然语义的抽象解释（初版）。在SAS中。D.A.施密特。1995.基于自然语义的抽象解释（初版）。在SAS中。“，”DOI“：”10.1007\/3-540-60360-3_28“}，{”key“：”e_1_3_2_1_60_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“I.Sergey D.Devriese M.Might J.Midtgaard D.Darais D.Clarke和F.Piessens.2013。一元抽象翻译。在PLDI中。I.Sergey D.Devriese M.Might J.Midtgaard D.Darais D.Clarke和F.Piessens。2013年，Monadic摘要口译员。在PLDI中。“，”DOI“：”10.1145\/2491956.2491979“}，{”key“：”e_1_3_2_1_61_1“，”DOI-asserted-by“：”publisher“，“DOI”：“10.1017\/S0956796809909990293”}，“{”key“：“e_1_ _3_2_1_62_1”，“DOI-assert-by”：“crossref”，”unstructured“：”A.Stefanescu D.Park S.Yuwen Y.Li and G.Rosu.2016。所有语言的基于语义的程序验证程序。在OOPSLA中。A.Stefanescu D.Park S.Yuwen Y.Li和G.Rosu。2016.所有语言的基于语义的程序验证程序。在OOPSLA中。“，”DOI“：”10.1145\/2983990.2984027“}，{”key“：”e_1_3_2_1_63_1“，”unstructured“：”The Gillian Team。2020。GitHub上的Gillian。https:\/\/github.com/GillianPlatform\/Gillian。Gillian团队。2020年Gillian on GitHub。https:\/\/github.com/GillianPlatform\/Gillian。“}，{”key“：”e_1_3_2_1_64_1“，”unstructured“：”The Gillian Team。2020。Gillian官方网站。https:\/\/gillianplatform.github.io。Gillian团队。2020年，Gillian官方网站。https:\/\/gillianplatform.github.io.“}，{”key“：”e_1_3_2_1_65_1“，”doi-asserted-by“：”crossref“，“unstructured”：“e.Torlak and R.Bod\u00edk.2013。使用Rosette开发求解辅助语言。前进！E.Torlak和R.Bod\u00edk。2013年，与Rosette一起发展Solver-aided Languages。继续！“，”DOI“：”10.1145\/2509578.2509586“}，{”key“：”e_1_3_2_1_66_1“，”DOI-asserted-by“：”crossref“，“unstructured”：“e.Torlak and R.Bod_u00edk.2014。用于解算器辅助主机语言的轻量级符号虚拟机。在PLDI中。E.Torlak和R.Bod\u00edk。2014.用于解算器辅助主机语言的轻量级符号虚拟机。在PLDI中。“，”DOI“：”10.1145\/2594291.2594340“}]，”event“：{”name“：”PLDI'20:第41届ACM SIGPLAN编程语言设计与实现国际会议“，”location“：”London UK“，”缩写词“：”PDI'20“，”supposer“：[”SIGPLAN ACM编程语言特别兴趣小组“]}，”container-title“：[“第41届ACM SIGPLAN编程语言设计与实现会议记录“]，“original-title”：[]，“link”：[{“URL”：“https:\/\/dl.ACM.org\/doi\/pdf\/10.1145\/3385412.3386014”，“content-type”：“unspecified”，“content-version”：“vor”，“intended-application”：“similarity-checking”}]，“deposed”：{“date-parts”：[2023,11]]，“date-time”：2023-01-11T05:13:08Z“，”timestamp“：1673413988000}，”score“：1，”resource“：{”primary”：{“URL”：“https:\/\/dl.acm.org\/doi\/10.1145\/3385412.3386014”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2020,6,11]]}，《references-count》：66，“alternative-id”：[“10.1145\/3385212.33860114”，“10.14”145\/3385412“]，”URL“：”http:\/\/dx.doi.org\/10.1145\/3385412.3386014“，”关系“：{}，”主题“：[]，”已发布“：{”日期部分“：[[2020,6,11]]}，“断言”：[{“值”：“2020-06-11”，“顺序”：2，“名称”：“已发布”，“标签”：“发布的”，“组”：{“名称”:“发布历史”，“标号”：“出版历史”}}]}}