{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2022,9,25]]，“日期时间”：“2022-09-25T04:58:59Z”，“时间戳”：1664081939187}，“发布者位置”：“Cham”，“引用计数”：16，“发布商”：“Springer Nature Switzerland”，“isbn-type”：[{“值”：“978303156281”，“类型”：”print“}，{“值”：“9783031156298”，“类型”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2022,1,1]]，“date-time”：“2022-01-01T00:00:00Z”，“timestamp”：1640995200000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“https:\\/www.springer.com\/tdm”}：1640995200000}，“content-version”：“vor”，“delay-in-days”：0，“URL”：“https:\/\/www.springer.com//tdm”}]，“content-domain”：{“domain”:[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”:{“date-parts”：[[2022]]}，”DOI“：”10.1007\/978-3031-15629-8_23“，”type“：”book-capter“，”created“：{”date-part“：[2022,9,24]]，”日期时间“：”2022-09-24T16:26:53Z“，”时间戳“：1664036813000}，“page”：“450-466”，“update policy”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“source”：“Crossref”，“被计数引用”：0，“title”：[“State Identification and \u00a0Verification with \u00a0Satisfaction”]，“prefix”：“10.1007”，“author”：[{“ORCID”：“http:\/\/ORCID.org/0000-0001-9819-834”，“authenticated ORCID”：false，“give”：“Joshua”，“family”：“Moerman”，“sequence”：“first”，“affiliation”：[]}，{“ORCID”：“http://\/ORCID.org\/00000-0001-8993-6486”，“authenticated-ORCID”：false，“given”：”Thorsten“，“family”：“Wi\u00dfmann”，“serquence”:“additional”，“faliation”:[]}]，“member”：“297”，“published-online”：{“date-parts”：[2022,9,7]}”，“reference”：[{“key”：“23_CR1”，“非结构化”：“Audemard，G.，Simon，L.：预测现代SAT解题器中的习得子句质量。摘自：《第21届人工智能国际联合会议论文集》，第399\u2013404页（2009）”}，{“关键”：“23_CR2”，“非结构化”：“Biere，A.，Heule，M.，van Maaren，H.（编辑）.：《可满足性手册》，人工智能与应用前沿第185卷。IOS出版社（2009）“}，{“key”：“23_CR3”，“doi-asserted-by”：“publisher”，“unstructured”：“E\u00e9n，N.，S\u00f6rensson，N.：一个可扩展的sat-solver。In：可满足性测试的理论与应用，第六届国际会议，sat 2003。《精选修订论文》，LNCS第2919卷，第502\u2013518页。斯普林格（2003）。https:\/\/doi.org\/10.1007\/978-3-540-24605-337“，”doi“：”10.1007\/978-23-540-24605-337“}，{“问题”：“4”，“密钥”：“23_CR4”，”doi-asserted-by“：”publisher“，“首页”：“543”，“doi”：“10.1016\/S1571-0661（05）82542-3”，“卷”：“89”，“作者”：“N E\u00e9n”，“年份”：“2003”，“非结构化”：“E\u00e9n，N.，S\u00f6rensson，N.：通过增量SAT解算进行时间归纳。电子。注释Theor。计算。科学。89（4），543\u2013560（2003）“，“新闻标题”：“电子。注释Theor。计算。科学。}，{“key”：“23_CR5”，“非结构化”：“Fiterau-Brostean，P.，Jonsson，B.，Merget，R.，de Ruiter，J.，Sagonas，K.，Somorovsky，J.：使用协议状态模糊化的DTLS实现分析。摘自：USENIX安全研讨会，pp.2523\u20132540。USENIX Association（2020）“}，{“key”：“23_CR6”，“doi-asserted-by”：“publisher”，“unstructured”：“Geuvers，H.，Jacobs，B.：关联隔离和互模拟。逻辑方法计算科学.17（3）（2021）.https:\\/doi.org\/10.46298\/lmcs-17 asserted-by“：”publisher“，”unstructured“：”Ignatiev，A.、Morgado，A.和Marques-Silva，J.：PySAT：使用SAT神谕进行原型制作的python工具包。收录于：SAT，LNCS第10929卷，第428\u2013437页（2018年）。https:\/\/doi.org\/10.1007\/978-3-319-94144-826“，”doi“：”10.1007\/9783-319-94144-826“}，{“问题”：“3”，“密钥”：“23_CR8”，“doi-asserted-by”：“发布者”，“首页”：“306”，“doi”：“10.1109\/12.272431”，“卷”：“43”，“作者”：“D Lee”，“年份”：“1994”，“非结构化”：“Lee，D.，Yannakakis，M.：测试有限状态机：状态识别和验证。IEEE传输。计算。43（3），306\u2013320（1994）。https:\/\/doi.org\/10.109\/12.272431“，”journal-title“：”IEEE Trans。计算。“}，{”key“：”23_CR9“，”doi-asserted-by“：”publisher“，”first-page“：”1090“，”doi“：”10.1109\/5.533956“，”volume“：“84”，”author“：”D Lee“，”year“：”1996“，”unstructured“：”Lee，D.，Yannakakakakis，M.：测试有限状态机的原理和方法-一项调查。Proc.IEEE 84，1090\u20131123（1996）.https:\\/doi.org\/10.10109\/5.5.533956“，”日志标题“：”程序。IEEE“}，{”issue“：”4“，”key“：”23_CR10“，”doi-asserted-by“：”publisher“，”first page“：“585”，”doi“：”10.1109\/90.649519“，”volume“：：”5“，”author“：”K Naik“，“year”：“1997”，“unstructured”：“Naik，K.：有限状态机中唯一输入/输出序列的高效计算。IEEE\/ACM Trans.Netw.5（4），585\u2013599（1997）“，”journal-title“：”IEEE\/ACM传输。Netw公司。“}，{”key“：”23_CR11“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“390”，“doi”：“10.1007\/978-3-030-22348-9_23”，“volume-title”：“模型，思维，元：什么，怎么，为什么不？”，“作者”：“D Neider”，“年份”：“2019”，“非结构化”：“Neider，D.，Smetsers，R.，Vaandrager，F.，Kuppens，H.：自动化学习和一致性测试的基准。收录：Margaria，T.、Graf，S.、Larsen，K.G.（编辑）《模型》、《思维定势》、《Meta:The What，The How，and The Why Not》？LNCS，第11200卷，第390\u2013416页。查姆施普林格（2019）。https:\/\/doi.org\/10.1007\/978-3-030-22348-9_23“}，{”key“：”23_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“827”，“doi”：“10.1007\/11564751_73”，“volume-title”：“约束编程的原理和实践-CP 2005”，“author”：“C Sinz”，“year”：“2005”，”非结构化“：”Sinz，C.：朝向布尔基数约束的最佳CNF编码。收录：van Beek，P.（编辑）CP 2005。LNCS，第3709卷，第827\u2013831页。斯普林格，海德堡（2005）。https:\/\/doi.org\/10.1007\/11564751_73“}，{“key”：“23_CR13”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“181”，”doi“：”10.1007\/978-3-319-30000-9_14“，”volume-title“：”语言与自动化理论与应用“，”author“：”R Smetsers“，”年份“：”2016“，”非结构化“：”Smetsers，R.、Moerman，J.、Jansen，D.N.：所有状态对的最小分离序列。收录人：Dediu，A.-H.，Janou\u0161ek，J.，Mart\u00edn-Vide，C.，Truthe，B.（编辑）LATA 2016。LNCS，第9618卷，第181\u2013193页。查姆施普林格（2016）。https:\/\/doi.org\/10.1007\/978-3-319-30000-9_14“}，{“key”：“23_CR14”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“67”，“doi”：“10.1007\/9783-319-25423-4_5”，“volume-title”：《形式方法与软件工程》，“author”：“W Smeenk”，年：“2015”，“非结构化”：“Smeenk，W.，Moerman，J.，Vaandrager，F.，Jansen，D.N.：将自动机学习应用于嵌入式控制软件。In：Butler，M.，Conchon，S.，Za\u00efdi，F.（编辑）ICFEM 2015。LNCS，第9407卷，第67\u201383页。查姆施普林格（2015）。https:\/\/doi.org\/10007\/978-3-319-25423-4_5“}，{“key”：“23_CR15”，“doi-asserted-by”：“crossref”，“unstructured”：“Tappler，M.，Aichernig，B.K.，Bloem，R.：通过主动自动机学习进行基于模型的物联网通信测试。摘自：ICST，第276\u2013287页。IEEE Computer Society（2017）“，”DOI“：”10.1109\/ICST.2017.32“}，{”key“：”23_CR16“，”DOI-asserted-by“：”publisher“，”unstructured“：”Vaandrager，F.、Garhewal，B.、Rot，B.、Wi\u00dfmann，T.：基于隔离的主动自动机学习新方法。收录于：系统构建和分析的工具和算法——第28届国际会议，TACAS：计算机科学讲稿。施普林格042022（2022）。https:\/\/doi.org\/10.1007\/978-3-030-99524-9_12“，”doi“：”10.1007\/978-30-99524-9_12“}]，”container-title“：[”计算机科学课堂讲稿“，”从过程代数通过时间自动机到模型学习的旅程“]，”original-title”：[]，“link”：[{“URL”：“https:\//link.springer.com\/content\/pdf\/10.10007\/978-31-15629-8_23”，“content-type”“：”未指定“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2022,9,24]]，”date-time“：”2022-09-24T16:31:27Z“，”timestamp“：1664037087000}，”score“：1，”resource“：{primary“：”{“URL”：“https:\/\/link.springer.com\/10007\/978-3-031-15629-8_23”}}，“subtitle”：[]，“shorttitle”“：[]，”已发布“：{”日期部分“：[[2022]]}，“ISBN”：[“9783031156281”，“9783051156298”]，“references-count”：16，“URL”：“http://\/dx.doi.org\/10.1007\/978-3-031-15629-8_23”，“relationship”：{}，“ISSN”：[0302-9743“，”1611-3349“]，“ISSN-type”：“[{”value“：”0302-974“，”type“：“print”}，{”value“：”1611-349“，”类型“electronic”}]，“subject”：[]，“published”：{“date-parts”：[[2022]]}，“assertion”：[{“value”：“2022年9月7日”，“订单”：1，“名称”：“first_online”，“标签”：“首次在线”，“群组”：{“姓名”：“ChapterHistory”，“label”：“章节历史”}}]}}