{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,6,10]]，“日期时间”：“2024-06-10T21:16:13Z”，“时间戳”：1718054173992}，“发布者位置”：“Cham”，“引用计数”：37，“发布商”：“Springer International Publishing”，“isbn-type”：[{“值”：“9783030255398”，“类型”：”打印“}，{“值”：“9783030255404”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2019,1,1]]，“date-time”：“2019-01-01T00:00:00Z”，“timestamp”：1546300800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}]striction“：false}，”short-container-title“：[]，“published-print”：{“date-parts”：[2019]]}，“DOI”：“10.1007\/978-3-030-25540-4_17”，“type”：“book-chapter”，“created”：{“date-parts”：[[2019,7,12]，“date-time”：“2019-07-12T15:02:35Z”，“timestamp”：1562943755000}，”page“315-334”，“update-policy”：”http://\/dx.DOI.org\/10.10007\/springer_c rossmark_policy“，“source”：“Crossref”，“is-referenced-by-count”：9，“title”：[“合成中的过度匹配：理论与实践”]，“前缀”：“10.1007”，“作者”：[{“给定”：“Saswat”，“家族”：“Padhi”，“序列”：“第一”，“从属”：[]}“，”家庭“：”夏尔玛“，“sequence”：“additional”，“affiliation”：[]}]，“member”：“297”，“published-online”：{“date-parts”：[[2019,7,12]]}，“reference”：[{“key”：“17_CR1”，“unstructured”：“The SyGuS Competition（2019）。\n http:\\/SyGuS.org\/comp\/\n\n.访问日期：2019年5月10日”}，{“密钥”：“7_CR2”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：“934”，“doi”：“10.1007\/978-3642-39799-8_67”，“volume-title”：“计算机辅助验证”，“author”：“A Albarghouthi”，年：“2013”，“unstructured”：“Albarghuthi，A.，Gulwani，S.，Kincaid，Z.：递归程序综合。in:Sharygina，N.，Veith，H.（eds.）CAV 2013。LNCS，第8044卷，第934\u2013950页。斯普林格，海德堡（2013）。\n https:\/\/doi.org\/10.1007\/978-3-642-39799-8_67“}，{“key”：“17_CR3”，“unstructured”：“Alur，R.，et al.：语法指导合成。In：计算机辅助设计中的形式方法，FMCAD，pp.1\u20138。IEEE（2013）。\n http://\/ieexplore.iee.org\/document\/6679385\/“}，{“key”：“17_CR4”，“unstructured”：“Alur，R.、Fisman，D.、Padhi，S.、Singh，R.，Udupa，A.：SyGuS-Comp 2018:结果与分析。CoRR abs \/1904.07146（2019）。\n http://\/arxiv.org\/abs\/1904.0 7146”}，}“key:”17_CR5“，”series-title“：”《计算机科学讲义》，“doi-asserted-by”：“publisher”，“first page”：“319”，“doi”：“10.1007\/978-3662-54577-5_18”，“volume-title”：“系统构建和分析的工具和算法”，“author”：“R Alur”，《year》：“2017”，“unstructured”：“Alur，R.，Radhakrishna，A.，Udupa，答：通过分而治之来缩放枚举程序合成。收录：Legay，A.，Margaria，T.（编辑）TACAS 2017。LNCS，第10205卷，第319\u2013336页。施普林格，海德堡（2017）。\n https:\/\/doi.org\/10.1007\/978-3662-54577-5_18“}，{”issue“：”12“，”key“：”17_CR6“，”doi-asserted-by“：”publisher“，”first-page“：”84“，”doi“：”10.1145\/3208071“，”volume“：.ACM 61（12），84\u201393（2018）。\n https:\/\/doi.org\/10.1145\/3208071“，”journal-title“：”Commun“。ACM“}，{“key”：“17_CR7”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”171“，“doi”：“10.1007\/978-3642-22110-1_14”，“volume-title”：”计算机辅助验证“，“author”：“C Barrett”，“year”：“2011”，“unstructured”：“Barrett，C.等人：CVC4。收录：Gopalakrishnan，G.，Qadeer，S.（编辑）CAV 2011。LNCS，第6806卷，第171\u2013177页。斯普林格，海德堡（2011）。\n https:\/\/doi.org\/10.1007\/978-3642-22110-1_14“}，{”key“：”17_CR8“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“331”，”doi“：”10.1007\/978-9662-54580-5_20“，”volume-title“：“系统构建和分析的工具和算法”，“author”：“D Beyer”，“year”：“2017”，“非结构化“：”Beyer，D.：软件验证与结果验证。收录：Legay，A.，Margaria，T.（编辑）TACAS 2017。LNCS，第10206卷，第331\u2013349页。施普林格，海德堡（2017）。\n https:\/\/doi.org\/10.1007\/978-3662-54580-5_20“}，{“key”：“17_CR9”，“doi-asserted-by”：“publisher”，“unstructured”：“Bounov，D.，DeRossi，A.，Menarini，M.，Griswold，W.G.，Lerner，S.：通过游戏化推断循环不变量。摘自：《2018 CHI计算机系统人为因素会议论文集》，CHI，第231页。ACM（2018）。\n https:\/\/doi.org\/10.1145\/3173574.31735805“，”doi“：”10.1145\/3173544.3173805“}，{”key“：”17_CR10“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“1349”，“doi”：“10.1007\/11523468_109”，“volume-title”：“Automata，Languages and Programming”，“author”：“AR Bradley”，“year”：“2005”，“非结构化”：“Bradley，A.R.，Manna，Z.，Sipma，H.B.：多等级原则。收录人：Caires，L.、Italiano，G.F.、Monteiro，L.，Palamidessi，C.、Yung，M.（编辑）ICALP 2005。LNCS，第3580卷，第1349\u20131361页。斯普林格，海德堡（2005）。\n https:\/\/doi.org\/10.1007\/11523468_109“}，{”key“：”17_CR11“，”doi-asserted-by“：”publisher“，”unstructured“：”Cousot，P.，Cousot，R.：广义类型联合的动态属性的静态确定。In:可靠软件的语言设计，第77\u201394页（1977）.\n https://doi.org/10.1145\/800022.808314“，”doi“：”10.1145\/800022.808314“｝，｛”key“：”17_CR12“，”doi asserted by“：”publisher“，”unstructured“：”Cousot，P.，Halbwachs，N.：程序变量之间线性约束的自动发现。摘自：第五届美国计算机学会编程语言原理年会会议记录。第84页\u201396。ACM出版社（1978），\n https:\/\/doi.org\/10.1145\/512760.512770，“doi”：“10.1145\/5127600.512770”}，{“key”：“17_CR13”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”1“，”doi“：”10.1007\/3-540-45014-9_1“，”volume-title“：”Multiple Classifier Systems“，”author“：”TG Dietrich“，”year“：“2000”，“非结构化”：“Dietterich，T.G.：机器学习中的集成方法。收录：Kittler，J.，Roli，F.（编辑）MCS 2000。LNCS，第1857卷，第1\u201315页。斯普林格，海德堡（2000）。\n https:\/\/doi.org\/10.1007\/3-540-45014-9_1“}，{“问题”：“OOPSLA”，“密钥”：“17_CR14”，“doi-asserted-by”：“出版商”，“首页”：“131:1”，“doi”：“10.1145\/3276501”，“卷”：“2”，“作者”：“P Ezudheen”，“年份”：“2018”，“非结构化”：“Ezudheen，P.、Neider，D.、D\u2019Souza，D.、Garg，P.和Madhusudan，P.：合成不变量和契约的Horn-ICE学习。PACMPL 2（OOPSLA），131:1\u2013131:25（2018）。\n https:\/\/doi.org\/10.1145\/3276501“，”journal-title“：”PACMPL“}，{“key”：“17_CR15”，“doi-asserted-by”：“publisher”，“unstructured”：“Feng，Y.，Martins，R.，Geffen，J.V.，Dillig，I.，Chaudhuri，S.：基于组件的表合并和转换任务的示例合成。摘自：《第38届ACM SIGPLAN编程语言设计与实现会议论文集》，PLDI，第422\u2013436页。ACM（2017）。\n https:\/\/doi.org\/10.1145\/3062341.3062351“，”doi“：”10.1145\/306241.3062351”}，{“key”：“17_CR16”，“doi-asserted-by”：“publisher”，“unstructured”：“Godefroid，P.，Taly，A.：从I/O样本自动合成符号指令编码。摘自：ACM SIGPLAN编程语言设计与实现会议，PLDI，pp.441\u2013452。ACM（2012）。\n https:\/\/doi.org\/10.1145\/2254064.2254116“，”doi“：”10.1145\/22540.64.2254016“}，{”key“：”17_CR17“，”doi-asserted-by“：”publisher“，”unstructured“：”Gulwani，S.，Jojic，N.：作为概率推理的程序验证。摘自：第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL，第277\u2013289页。ACM（2007）。\n https:\/\/doi.org\/10.1145\/1190216.1190258“，”doi“：”10.1145\/119021.119258“}，{“问题”：“1\u20132”，“密钥”：“17_CR18”，“doi-asserted-by”：“发布者”，“首页”：“1”，“doi”：“10.1561\/2500000010”，“卷”：“4”，“作者”：“S Gulwani”，“年份”：“2017”，“非结构化”：“Gulwani，S.、Polozov，O.、Singh，R.：程序综合。已找到。趋势计划。语言4（1\u20132），1\u2013119（2017）。\n https:\/\/doi.org\/10.1561\/2500000010“，”journal-title“：”已找到。趋势计划。Lang.“}，{”issue“：“POPL”，”key“：“17_CR19”，”doi-asserted-by“：”publisher“，”first-page“：”2:1“，”doi“：”10.1145\/3158090“，”volume“：”2“，”author“：”JP Inala“，”year“：”2018“，”unstructured“：”Inala，J.P.，Singh，R.：WebRelate:使用示例将Web数据与电子表格集成。PACMPL 2（POPL），2:1\u20132:28（2018）.\n https:\/\/doi.org\/10.1145\/3158090“，”journal-title“：”PACMPL“}，{“key”：“17_CR20”，“series-title”：“计算机科学课堂讲稿”，“doi-asserted-by”：“publisher”，“first page”：”377“，”doi“：”10.1007\/978-3319-21668-3_22“，”volume-title：“计算机辅助验证”，“author”：“J Jeon”，“year”：“2015”，“unstructured”：“”Jeon，J.，Qiu，X.，Solar-Lezama，A.，Foster，J.S.：并行程序综合的自适应具体化。收录人：Kroening，D.，P\u0103s\u0103reanu，C.S.（编辑）CAV 2015。LNCS，第9207卷，第377\u2013394页。查姆施普林格（2015）。\n https:\/\/doi.org\/10.1007\/978-3-319-21668-3_22“}，{”key“：”17_CR21“，”doi-asserted-by“：”publisher“，”unstructured“：”Jha，S.，Gulwani，S.、Seshia，S.A.、Tiwari，A.：Oracle-guided component-based program synthesis。摘自：第32届ACM \/IEEE国际软件工程会议论文集。ICSE，第1卷，第215页\u2013224。ACM（2010）。\n https:\/\/doi.org\/10.1145\/1806799.1806833“，”doi“：”10.1145\/1806.799.1806833}“，{”issue“：”7“，”key“：”17_CR22“，”doi-asserted-by“：”publisher“，”first-page:“693”，“doi”：“10.1007\/s00236-017-0294-5”，“volume”：“54”，“author”：“S Jha”，“year”：“2017”，“unstructured”：“Jha，S.，Seshia，S.A.：通过归纳学习的形式合成理论。《信息学报》54（7），693\u2013726（2017）。\n https:\/\/doi.org\/10.1007\/s00236-017-0294-5“，”journal-title“：”Acta Informatica“}，{”key“：”17_CR23“，”doi-asserted-by“：”publisher“，”unstructured“：”Le，X.D.，Chu，D.，Lo，D.，Le Goues，C.，Visser，W.：S3：通过示例编程实现语法和语义指导的修复合成。摘自：《第十一届软件工程基础联席会议记录》，ESEC\/FSE，第593\u2013604页。ACM（2017）。\n https:\/\/doi.org\/10.1145\/3106237.3106309“，”doi“：”10.1145\/3106235.3106309“}，{”key“：”17_CR24“，”doi-asserted-by“：”publisher“，”unstructured“：”Lee，W.，Heo，K.，Alur，R.，Naik，M.：使用学习的概率模型加速基于搜索的程序合成。摘自：第39届ACM SIGPLAN编程语言设计与实现会议记录，PLDI 2018，第436\u2013449页。ACM（2018）。\n https:\/\/doi.org\/10.1145\/3192366.3192410“，“doi”：“10.1145\/319266.3192410”}，{“key”：“17_CR25”，“doi-sserted-by”：“publisher”，“unstructured”：“Min\u00e9，A.：八角抽象域。摘自：第八届逆向工程工作会议记录，WCRE，第310页。IEEE计算机学会（2001）。\n https://doi.org/10.1109\/WCRE.2001.957836“，”doi“：”10.1109\/WCRE.2001.957836“｝，｛”key“：”17_CR26“，”doi asserted by“：”publisher“，”unstructured“：”Osera，P.，Zdancewic，S.：类型和示例导向的程序合成。摘自：第36届ACM SIGPLAN编程语言设计与实现会议记录，PLDI，第619\u2013630页。ACM（2015）。\n https:\/\/doi.org\/10.1145\/2737924.2738007“，”doi“：”10.1145\/2737.924.2738007“}，{“key”：“17_CR27”，“unstructured”：“Padhi，S.，Millstein，T.，Nori，A.，Sharma，R.：合成中的过度拟合：理论与实践。CoRR abs\/1905.07457（2019）。\n https:\//arxiv.org\/pdf\/1905.0757”}，}“key:”17_CR28“，”非结构化”：“Padhi，S.，Sharma，R.，Millstein，T.：循环不变量生成器：基于前提推理的循环不变量发生器。CoRR abs \/1707.02029（2018）。\n http://\/arxiv.org\/abs\/1707.02029“}，{“key”：“17_CR29”，“doi-asserted-by”：“publisher”，“unstructured”：“Padhi，S.，Sharma，R.，Millstein，T.D.：具有学习特征的数据驱动前提推理。摘自：第37届ACM SIGPLAN编程语言设计与实现会议论文集，PLDI，第42\u201356页。ACM（2016）。\n https:\/\/doi.org\/10.1145\/2908080.2908099“，“doi”：“10.1145\/29080、2908099”}，{“key”：“17_CR30”，“unstructured”：“Peano，G.：Calcolo geometrico secondo l\u2019Ausdehnungslehre di H.Grassmann:preciduto dalla operazioni della logica dedutiva，第3卷。Fratelli Bocca（1888）“}，{“key”：“17_CR31”，“doi-asserted-by”：“publisher”，“unstructured”：“Perelman，D.，Gulwani，S.，Grossman，D.，Provost，P.：测试驱动合成。摘自：ACM SIGPLAN编程语言设计与实现会议，PLDI，第408\u2013418页。ACM（2014）。\n https:\/\/doi.org\/10.1145\/2594291.2594297“，“doi”：“10.1145\/2594281.2594297”}，{“key”：“17_CR32”，“doi-asserted-by”：“publisher”，“unstructured”：“Polikarpova，N.，Kuraj，I.，Solar Lezama，A.：多晶型精细化类型的程序合成。摘自：第37届ACM SIGPLAN编程语言设计与实现会议记录，PLDI，第522\u2013538页。ACM（2016）。\n https:\/\/doi.org\/10.1145\/2908080.2908093“，”doi“：”10.1145\/29080、2908093“}，{”key“：”17_CR33“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“198”，“doi”：“10.1007\/978-3-319-21668-3_12”，“volume-title”：“计算机辅助验证”，“author”：“A Reynolds”，“year”：“2015”，“”非结构化”：“Reynolds，A.，Deters，M.，Kuncak，V.，Tinelli，C.，Barrett，C.：SMT中合成的反例引导量词实例化。收录人：Kroening，D.，P\u0103s\u0103reanu，C.S.（编辑）CAV 2015。LNCS，第9207卷，第198\u2013216页。查姆施普林格（2015）。\n https:\/\/doi.org\/10.1007\/978-3-319-21668-3_12“}，{“key”：“17_CR34”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/CBO9781107298019”，“volume-title”：“理解机器学习：从理论到算法”，“author”：“S Shalev-Shwartz”，“year”：“2014”，“unstructured”：“Shalev-Shwartz，S.，Ben-David，S.：理解机器学习：从理论到算法。剑桥大学出版社，剑桥（2014）“}，{“key”：“17_CR35”，“series title”：“计算机科学讲义”，“doi断言”：“publisher”，“首页”：“574”，“doi”：“10.1007\/978-3-642-37036-6_31”，“volume title”：“Programming Languages and Systems”，“author”：“R Sharma”，“year”：“2013”，“nonstructured”：“Sharma，R.，Gupta，S.，Hariharan，B.，Aiken，A.，Liang，P.，Nori，A.V.：代数循环不变量的数据驱动方法。摘自：Felleisen，M.，Gardner，P.（编辑）《2013年员工持股计划》。LNCS，第7792卷，第574\u2013592页。斯普林格，海德堡（2013）。\n https:\/\/doi.org\/10.1007\/978-3642-37036-6_31“}，{“key”：“17_CR36”，“doi-asserted-by”：“publisher”，“unstructured”：“Sharma，R.，Nori，A.V.，Aiken，A.：程序分析中的偏差-方差权衡。摘自：第41届ACM SIGPLAN-SIGACT编程语言原则研讨会，POPL，第127\u2013138页。ACM（2014）。\n https:\/\/doi.org\/10.1145\/2535838.2535853“，”doi“：”10.1145\/25358/2535855“}，{“问题”：“5\u20136”，“密钥”：“17_CR37”，“doi-asserted-by”：“发布者”，“首页”：“475”，“doi”：“10.1007\/s10009-012-0249-7”，“卷”：“15”，“作者”：“A Solar-Lezama”，“年份”：“2013”，“非结构化”：“Solar-Leza”马，A.：程序草图。STTT 15（5\u20136），475\u2013495（2013）“，”journal-title“：”STTT“}]，“container-title”：[“计算机辅助验证”，“计算机科学课堂讲稿”]，“原始标题”：[]，“链接”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.1007\/978-3-030-25540-4_17”，“内容类型”：“未指定”，“content-version”：“vor”，“intended-application”：“相似性检查”}]，”存放“：{“date-parts”：[[2019,7,12]，“date-time”：“2019-07-12T15:04:29Z”，“timestamp”：1562943869000}，“score”：1，“resource”：{（主要）：{”URL“：”http://\/link.springer.com\/10.1007\/978-3030-25540-4_17“}，”副标题“：[]，”短标题“：[]，”已发布“{”日期-parts“：[2019]]}，83030255398“，”9783030255/404“]，”references-count“：37，”URL“：”http:\/\/dx.doi.org\/10.1007\/978-3-030-25540-4_17“，”关系“：{}，”ISSN“：[”0302-9743“，”1611-3349“]，”ISSN-type“：[{”value“：”03029743“，”type“:”print“}，{”value“：”1611-33049“，”类型“：”电子“}]，”subject“：【】，”published“：{”date-parts“：【2019】}，“assertion”：【{”值“：”12 2019年7月“，”订单“：1，”名称“：”first_online“，”标签“：”first online“，“群组”：{“name”：“ChapterHistory“，”label“：”Chapter History”}}，{“value”：“CAV”，“order”：1，“name”：“conference_acrombit”，“label”：“conference acronym”，“group”：{“name”:“ConferenceInfo”，”lable“：”ConferenceInformation“}，”value“：”计算机辅助验证国际会议“，”order“：2，”name“：”conference_name“，”标签“：”会议名称“，”组“：{”名称“：”ConferenceInfo“，”label“：”ConferenceInformation“}}，{”value“：”New York City“，”order“：3，”name“：”Conference_City“，”标签“：”会议城市“，”group“：会议信息“}}，{“value”：“2019”，“order”：5，“name”：“Conference_year”，“label”：“Conference_year”，”group“：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}、{“值”：“209年7月15日”，“订单”：7，“name“：”Conference_start_date“，”label“：“会议开始日期”，“group”：{2019年7月18日“，”order“：8，”name“：”conference_end_date“，”label“：”会议结束日期“，”group“：：“conference_id”，“label”：“会议ID”，“group”：｛“name”：“ConferenceInfo”，“label”：“会议信息”｝｝，｛“value”：“http:\/\/i-cav.org/2019\/”，“order”：11，“name”：“Conference_url”，“label”：“会议url”，“group”：｛“name”：“ConferenceInfo”，“label”：“会议信息”｝，｛“value”：“双盲”，“order”：1，“name”：“type”，“label”：“type”，“group”：｛“名称”：“ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}，{”value“：”EasyChair“，”order“：2，”name“：”conference_management_system“，”标签“：”会议管理系统“，”group“：value“：”258“，”order“：3，”name“：”number_of_submissions_sent_for_review“，”label“：”发送供审阅的提交数“，”group“：group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information（由会议组织者提供）“}}，{”value“：”0“，”order“：5，”name“:”number_of_short_papers_accepted“，”标签“：”接受的短文数“，”group“:{”名称“：”confEventPeer ReveewInformation”，“label”：“”同行评议信息（由会议组织者提供）“}}，{“value”：“26%-该值由等式“接受的全文数”/“发送供审阅的提交数*100”计算，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“label”：“全文接受率”，“group”：{“name”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）value“：”9“，”order“：8，”name“：”average_number_of_papers_per_reviewer“，”label“：”每个审阅者的平均论文数“，”group“：{”name“:”ConfEventPeerReviewInformation“，”label“：“同行审阅信息（由会议组织者提供）”}}，{“value”：“否”，“order”：9，“name”：“external_reviewers_involved”，“label”：“涉及的外部审阅者”，“group”：{“”name“：”ConfEventPeerReviewInformation“，”label“：”同行评审信息（由会议组织者提供）“}}]}}