{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,9,12]，“日期时间”：“2024-09-12T00:33:16Z”，“时间戳”：1726101196002}，“发布者位置”：“Cham”，“引用计数”：34，“发布商”：“Springer International Publishing”，“isbn-type”：[{“类型”：”print“，“值”：“9783030591519”}{“type”：“电子”，“value”：“9783030591526”}]，“license”：[{“start”：{“date-parts”：[[2020,1,1]]，“date-time”：“2020-01-01T00:00:00Z”，“timestamp”：1577836800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://\www.springer.com\/tdm”}，{“start”：{“date-ports”：[20200,1]]，2020-01-01T00:00:00Z“，”时间戳“：1577836800000}，”内容版本“：”vor“，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[[2020]]}，”DOI“：”10.1007\/978-3-030-59152-6_18“，”type“：”book-chapter“，”created“：{”date-part“：[[[2020,10,11]]，“日期时间”：“2020-10-11T23:02:35Z”，“时间戳”：1602457355000}，“页面”：“325-342”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，”is-referenced-by-count“：11，”title“：[”整数数据类型字符串操作程序路径可行性的决策过程“]，”前缀“：”10.1007“，”author“：[{”given“：”Taolue“，”family“：”Chen“，”sequence“：“first”，“affiliation”：[]}，{“given”：“Matthew”，“family”：“Hague”，“sequence”：“additional”，“filiance”：[]}附加“，”从属“：[]}，{”给定“：“Philipp”，“family”：“R\u00fcmmer”，“sequence”：“additional”，“affiliation”：[]}，{“given”：“Zhilin”，”family“：”Wu“，”sequence“：”additional“，”affiliation:[]}]，“member”：“297”，“published-on-line”：{“date-parts”：[2020,10,12]}，“reference”：[{“key”：”18_CR1“，“doi-asserted-by”：”crossref“，”unstructured“：“Abdulla，P.A.，et al.：扁平化和征服：有效分析字符串约束的框架。In:PLDI，pp.602\u2013617（2017）”，“DOI”：“10.1145\/3140587.3062384”}，{“key”：“18_CR2”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ab杜拉，P.A.等人：验证字符串约束。In:CAV，pp.150\u2013166（2014）”，《DOI》：“10.1007\/978-3-319-08867-9_10”}，{“key”：“18_CR3”，“doi-asserted-by”：“crossref”，“unstructured”：“Abdulla，P.A.，Atig，M.F.，Diep，B.P.，Hol\u00edk，L.，Janku，P.：无链字符串约束。收录于：ATVA，pp.277\u2013293（2019）”，“doi”：“10.107\/978-30-31784-3_16”}y“：”crossref“，”非结构化“：“Alur，R.，D\u2019Antoni，L.，Deshmukh，J.，Raghothaman，M.，Yuan，Y.：正则函数和代价寄存器自动机。见：LICS，pp.13\u201322。IEEE Computer Society（2013）“，”DOI“：”10.1109\/LICS.2013.65“}，{“key”：“18_CR5”，“DOI-asserted-by”：“crossref”，“unstructured”：“Barcel\u00f3，P.，Figueira，D.，Libkin，L.：有理关系的图形逻辑。Logical Meth.Comput.Sci.9（3）（2013）”，“DOI”：“10.2168\/LMCS-9（3:1）2013”}，“{”key“：”18_CR6“，“DOI-asserted-by”：“crossref”，“非结构化”：“Berzish，M.、Ganesh，V.、Zheng，Y.：Z3str3：具有理论感知启发式的字符串解算器。其中：FMCAD，pp.55\u201359（2017）“，“DOI”：“10.23919\/FMCAD.2017.8102241”}，{“key”：“18_CR7”，“DOI-asserted-by”：“crossref”，“unstructured”：“Bj\u00f8rner，N.，Tillmann，N.和Voronkov，A.：字符串操作程序的路径可行性分析。见：TACAS，pp.307\u2013321“18_CR8”，“DOI-asserted-by”：“crossref”，“非结构化”：“B\u00fcchi，J.R.，Senger，S.：串联存在论的定义和该理论的不可判定扩展。收录于：J.R.B\u00fcchi合集，第671\u2013683页（1990）“，”DOI“：”10.1007\/9781-46138-6_37“}，{“key”：“18_CR9”，“DOI-asserted-by”：“crossref”，“unstructured”：“Bui，D.and contributors.Z3-trau（2019）”，“DOI”：“10.1190\/geo2018-1220-contrib.1”}，“key“：”18_CR10“，”非结构化“：”Bultan，T.and contributions.Abc string solver（2015）“}，{”问题“：”2“，”key“：”18_CR11“，”doi-asserted-by“：”publisher“，”first-page“：”82“，”doi“：”10.1145\/2408776.2408795“，”volume“：“56”，”author“：”C Cadar“，”year“：”2013“，”unstructured“：”Cadar，C.，Sen，K.：软件测试的符号执行：三十年后。Commun公司。ACM 56（2），82\u201390（2013）“，“新闻标题”：“Commun。ACM“}，{“key”：“18_CR12”，“doi-asserted-by”：“crossref”，“unstructured”：“Chen，T.，Chen，Y.，Hague，M.，Lin，A.W.，Wu，Z.：关于使用replaceall函数的字符串约束，什么是可判定的。PACMPL 2（POPL），3:1\u20133:29（2018）”，“doi”：“10.1145\/3158091”}，“key“：”18_CR13”，“非结构化”：“Chen，T.等人：整数数据类型字符串操作程序路径可行性的决策过程（完整版）（2020）。\nhttp:\/\/arxiv.org\/abs\/2007.06913“}，{“key”：“18_CR14”，“doi-asserted-by”：“crossref”，“unstructured”：“Chen，T.，Hague，M.，Lin，A.W.，R\u00fcmmer，P.，Wu.，Z.：具有复杂操作的字符串操作程序的路径可行性的决策程序。PACMPL，3（POPL）（2019）”，“doi”：“10.1145\/3290362”}，}，[key“：”18_CR15“，”doi-assert by“：”crossref”，“非结构化”：“Day，J.D.，Ganesh，V.，He，P.，Manea，F.，Nowotka，D.：RP，pp.15\u201329（2018）”，“DOI”：“10.1007\/978-3-030-00250-3_2”}，{“key”：“18_CR16”，“DOI-asserted-by”：“crossreff”，“unstructured”：“de Moura，L.，Bj\u00f8rner，N.:Z3：高效的SMT求解器。摘自：TACAS，pp.337\u2013340（2008）”，《DOI》“：”10.1007\/978-3-540-78800-3_24“}，{”key“：”18_CR17“，”首页“：”209“，”volume“：“2012”，”author“：”V Ganesh“，”year“：”2012“，”unstructured“：”Ganesh，V.，Minnes，M.，Solar-Lezama，A.，Rinard，M.C.：带长度约束的单词方程：什么是可判定的？HVC 2012，209\u2013226（2012）“，”journal-title“：”HVC“}，{“key”：“18_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Hol\u00edk，L.，Janku，P.，Lin，A.W.，R\u00fcmmer，P.、Vojna，T.：有效解决了串接和传感器的字符串约束。PACMPL 2（POPL），4:1\u20134:32（2018）”，“doi”：“10.1145\/3158092”}，“{”key：“18_CR19”，“非结构化”：“Hooimeijer，P.、Livshits，B.、Molnar，D.、Saxena，P.和Veanes，M.：使用BEK快速准确地分析消毒剂。在：USENIX Security Symposium（2011）“｝，｛“key”：“18_CR20”，“doi asserted by”：“crossref”，“nonstructured”：“Liang，T.，Reynolds，A.，Tinelli，C.，Barrett，C.，Deters，M.:DPLL（T）字符串和正则表达式理论求解器。在：CAV，pp.646\u2013662（2014）”，“doi”：“10.1007\/978-3-319-08867-9_43”｝，｛“key”：“18_CR21”，“doi asserted by”：“crossref“，”unstructured“：”Lin，A.W.，Barcel\u00f3，P.：用单词方程和变换器求解字符串：走向分析突变XSS的逻辑。收录于：POPL，第123\u2013136页。ACM（2016）“，“DOI”：“10.1145\/2914770.2837641”}，{“key”：“18_CR22”，“DOI-asserted-by”：“crossref”，“unstructured”：“Lin，A.W.，Majumdar，R.：带长度约束的二次方程，计数器系统，带可除性的presburger算法。In:ATVA，pp.352\u2013369非结构化“：”Papadimitriou，C.H.：计算复杂性。Addison-Wesley，Reading（1994）“}，{”key“：”18_CR24“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“453”，”doi“：”10.1007\/978-3319-63390-9_24“，”volume-title“：“计算机辅助验证”，“author”：“A Reynolds”，“year”：“2017”，“unstructured”：“Reynolds，A.，Woo，M.，Barrett，C.，Brumley，D.，Liang，T.，Tinelli，C.：使用上下文相关简化放大DPLL（T）字符串解算器。收录人：Majumdar，R.，Kun\u010dak，V.（编辑）CAV 2017。LNCS，第10427卷，第453\u2013474页。查姆施普林格（2017）。\nhttps:\/\/doi.org\/10.1007\/978-3-319-63390-9_24“}，{“key”：“18_CR25”，“doi-asserted-by”：“crossref”，“unstructured”：“R\u00fcmmer，P.：带线性整数算术的一阶逻辑的约束序列演算。In:LPAR，pp.274\u2013289（2008）”，“doi”：“10.1007\/978-23-400-89439-1_20”}，“{”key“：”18_CR26“，”doi-assert-by“：“crossref”，“非结构化“：”Saxena，P.、Akhawe，D.、Hanna，S.、Mao，F.、McCamant，S.和Song，D.：Javascript的符号执行框架。标准普尔，pp.513\u2013528（2010）“，”DOI“：”10.1109\/SP.2010.38“}，{”key“：”18_CR27“，”DOI-asserted-by“：”crossref“，”unstructured“：”Trinh，M.，Chu，D.，Jaffar，J.：S3:一个用于web应用程序漏洞检测的符号字符串解算器。In:CCS，pp.1232\u20131243（2014）“，“DOI”：”10.1145\/2660267.2660372“}”，{“key”：“18_CR28”，“series”title“：”《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“218”，“doi”：“10.1007\/978-3-319-41528-4_12”，“volume-title”：“计算机辅助验证”，“author”：“M-T Trinh”，年：“2016”，“unstructured”：“Trinh，M.-T.，Chu，D.-H.，Jaffar，J.：递归定义字符串的渐进推理。收录：Chaudhuri，S.，Farzan，A.（编辑）CAV 2016。LNCS，第9779卷，第218\u2013240页。施普林格，查姆（2016）。\nhttps:\/\/doi.org\/10.1007\/978-3-319-41528-4_12“}，{“key”：“18_CR29”，“unstructured”：“van der Stock，A.，Glas，B.，Smithline，N.，Gigler，T.：OWASP Top 10\u20132017（2017）”}，}“key:”18_CR30“，”doi-asserted-by“：”crossref“，”unstructure“：”Verma，K.N.，Seidl，H.，Schwentick，T.：关于等号从句的复杂性。在：CADE，pp.337\u2013352（2005）“，”DOI“：”10.1007\/11532231_25“}，”key“：”18_CR31“，”series-title“：”计算机科学讲义“，”DOI-asserted-by“：”publisher“，”first page“：“241”，“DOI”：“10.1007\/978-3319-41528-4_13”，“volume-title”：“计算机辅助验证”，“author”：“H-E Wang”，“year”：“2016”，“unstructured”：“Wang，H.-E.，Tsai，T.-L.，Lin，C.-H.，Yu，F.，Jiang，J.-H.R.：通过自动机操作和逻辑电路表示进行字符串分析。收录：Chaudhuri，S.，Farzan，A.（编辑）CAV 2016。LNCS，第9779卷，第241\u2013260页。施普林格，查姆（2016）。\nhttps:\/\/doi.org\/10.1007\/978-3-319-41528-4_13“}，{“key”：“18_CR32”，“doi-asserted-by”：“crossref”，“unstructured”：“Wang，H.-E，Chen，S.-Y.，Yu，F.，Jiang，J.-H.R.：分析字符串和长度约束的符号模型检查方法。摘自：ASE，第623\u2013633页。ACM（2018）“，”DOI“：”10.1145\/3238147.3238189“}，{”issue“：”1“，”key“：”18_CR33“，”DOI-asserted-by“：”publisher“，”first page“：“44”，“DOI”：“10.1007\/s10703-013-0189-1”，“volume”：“44“，”author“：”F Yu“，”year“：”2013“，”unstructured“：”Yu，F.，Alkhalaf，M.，Bultan，T.，Ibarra，O.H.：用于漏洞检测的基于自动机的符号字符串分析。形式方法系统。设计。44（1），44\u201370（2013）。\nhttps:\/\/doi.org\/10.1007\/s10703-013-0189-1“，”journal-title“：”形式方法系统。设计。“}，{”key“：”18_CR34“，”doi-asserted-by“：”crossref“，”unstructured“：”Zheng，Y.，Zhang，X.，Ganesh，V.：Z3-str:基于Z3的web应用程序分析字符串解算器。In:ESEC\/SIGSOFT FSE，pp.114\u2013124（2013）“，”doi“：”10.1145\/2491411.2491456“}]，”container-title“：[”计算机科学讲稿“，”验证和分析自动化技术“]，”original-title“：[]，”language“：”en“，”link“：[{”URL“：”http://\/link.springer.com/content\/pdf\/10.1007\/978-3-030-59152-6_18“，”content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[2020,10,11]]，“date-time”：“2020-10-11T23:07:19Z“，”timestamp“：1602457639000}，”score“：1，”resource“：{”primary”：{“URL”：“http://\/link.springer.com/10.1007\/978-3-030-59152-6_18”}}，“subtitle”：[]，“shorttitle”：[]，“issued”：{“date-parts”：[2020]]}，《ISBN》：[“9783030591519”，“978330591526”]，“references-count”：34，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-030-59152-6_18”，“关系”：{}，“ISSN”：[“0302-9743”，“1611-3349”]，“ISSN-type”：[{“type”:“print”，“value”：“0302-7743”}，{“类型”：“electronic”，“值”：“1611-349”}]，“主题”：[]，“发布”：{“日期-部件”：[[2020]]}，“断言”：[[{”value“：“2020年10月12日”，“订单”：1，“名称”：“first_online”，“标签”：“first online”，”“group“：{”name“：”ChapterHistory“，”label“：”章节历史“}}，{”value“：”ATVA“，“order”：1，“name”：“conference_acronym”，“label”：“conference acronym”：“会议信息”}}，{“value”：“Hanoi”，“order”：3，“name”：“Conference_city”，“label”：“Conference city”，“group”：{“name”:“ConferenceInfo”，”label“：“Confection Information”}，”value“：”Vietnam“，”order“：4，”name“：”Conference_country“，”lable“：”Conference_country“，“顺序”：5，“名称”：“会议年”，“标签”：“会议年”，“组”：｛“名称”：“会议信息”，“标签”：“会议信息”｝｝，｛“值”：“2020年10月19日”，“顺序”：7，“名称”：“会议开始日期”，“组”：｛“名称”：“会议信息”，“标签”：“会议信息”｝｝，｛“值”：“2020年10月23日”，“顺序”：8，“名称”：“conference_end_date”，“label”：“会议结束日期”，“group”：{“name”：“ConferenceInfo”，”label“：“会议信息”}}，{“value”：“18”，”order“：9，”name“：”conference_number“，”lable“：”ConferenceNumber“，”group“：{”name“:”ConferenceInfo“，id“，“group”：{“name”：“ConferenceInfo”，“label”：“会议信息”}}，{“value”：“http://\/fit.uet.vnu.edu.vn\/atva2020”，“order”：11，“name”:“Conference_url”，“标签”：“conferencyURL”，“groups”：{name”：标签“：”类型“，”组“：{”名称“：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“easychair”，“order”：2，“name”：“conference_management_system”，“标签”：“会议管理系统”，“group”：{“name”:“ConfeventPeerReveewInformation“，”label“：”同行评审信息，{“value”：“75”，“order”：3，“name”：“number_of_submissions_sent_for_review”，“label”：“发送供审阅的提交数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“标签”：“同行审阅信息（由会议组织者提供）”}}，{“value”：”27“，”order“：4，”name“number.of_full_papers_accepted”，”label“：“接受的完整论文数”，“group”：{“name”：“ConfEventPeerReviewInformation”，“label”：“Peer Review Information（由会议组织者提供）”}}，{“value”：“0”，“order”：5，“name”:“number_of_short_papers_accepted”，“table”：“接受的短文数”，“groups”：{“name”∶“ConfeventPeerReveewInformation“，”label“：“同行评审信息（由会议组织者提供）”｝｝，｛“value”：“36%-该值由公式“接受的全文数量/发送供评审的提交数量*100”计算，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“label”：“全文接受率”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}，{“value”：“6”，“order”：8，“name”：“average_number_of_papers_per_reviewer”，“label”：“每个审阅者的平均论文数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“同行审阅信息（由会议组织者提供）”}}，{“value”：“Yes”，“订单”：9，“name“：”external_reviewers_involved“，”label“：”涉及外部审阅者“，”group“：{“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息（由会议组织者提供）”}}]}}