{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期-部件”：[[2024,9,20]]，“日期-时间”：“2024-09-20T16:33:15Z”，“时间戳”：1726849995920}，“参考-计数”：74，“出版商”：“Springer Science and Business Media LLC”，“问题”：“1”，“许可证”：[{“开始”：{'日期-部件“：[2019,11,6]]，”日期-时间我”：“2019-11-06T00:00:00Z”，“timestamp”：157299840000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-parts”：[[2019,11,6]]，“date-time”：“2019-11-06T00:00:00Z”，“timetamp”：1512998400000}，\/tdm“}]，“内容域”：{“域”：[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[“Int J Softw Tools Technol Transfer”]，“published-print”：{“date-parts”：[[2021,2]]}，”DOI“：”10.1007\/s10009-019-00544-0“，”type“：”journal-article“，”created“：{”date-part“：[2019,11,6]]，”date-time“：”2019-11-06T13:03:30Z“，”timestamp“：157304541000}”，“page”：“1-29”，“更新策略”：“http://\/dx.doi.org\/10.1007\/springer_crossmark_policy”，“source”：“Crossref”、“is-referenced-by-count”：8，“title”：[“Learning Moore machines from input\u2013output traces”]，“prefix”：“10.1007”，《volume》：“23”，“author”：[{“given”：akis“，”sequence“：“additional”，“affiliation”：[]}，{“given”：“Stylianos”，“family”：“Basagiannis”，“sequence”：“additive”，“abfiliation“：[]{”，“member”：“297”，“published-on-line”：{“date-parts”：[2019,11,6]}；“reference”：[{“key”：”544_CR1“，“volume-title”：“Machine Learning”，“author”：“TM-Mitchell”，“year”：“1997”，“unstructured”：“Mitchell，T.M.：机器学习。McGraw-Hill，New York（1997）”}，{“问题”：“2”，“关键”：“544_CR2”，“doi-asserted-by”：“出版商”，“首页”：“86”，“doi”：“10.1145\/2967606”，“卷”：“60”，“作者”：“F Vaandrager”，“年份”：“2017”，“非结构化”：“Vaandrage，F.：模型学习。Commun.ACM 60（2），86\u201395（2017）”，“journer al-title“：”Commun.ACM“}，{”密钥“：“544_CR3”，“doi asserted by”：“crossref”，“nonstructured”：“Tripakis，S.：数据驱动和基于模型的设计。In：第一届IEEE工业网络物理系统国际会议（ICPS）（2018）”，“doi”：“10.1109\/ICPHYS.2018.8387644”}，｛“key”：“544_CR4”，“volume title”：“系统识别：用户理论”，“author”：“L Ljung”，“year”：“1999”，“非结构化”：“Ljung，L.：系统识别：用户理论，第2版。Prentice Hall，Upper Saddle River（1999）”，“版本”：“2”}，{“问题”：“5\u20136”，“密钥”：“544_CR5”，“doi-asserted-by”：“出版商”，“首页”：“475”，《doi》：“10.1007\/s10009-012-0249-7”，“卷”：“15”，“作者”：“Solar-Lezama”，“年份”：“2013”，“非结构性”：“Solar-Lezama，A.：程序草图。STTT 15（5\u20136），475\u2013（2013）”，“journal-title”：“STTT”}，{“key”：“544_CR6”，“doi-asserted-by”：“crossref”，“unstructured”：“Gulwani，S.：使用输入输出示例自动处理电子表格中的字符串。见：第38届POPL，第317\u2013年330页（2011）”，_ CR7“，“doi-asserted-by”：“crossref”，“unstructured”：“Seshia，S.A.：剪刀：结合归纳、演绎和结构进行验证和合成。In:DAC，pp.356\u2013365（2012）”，“doi”：“10.1145\/2228360.228425”}，{“key”：“544_CR8”，“doi-asserted-by”：：“Ray，B.，Posnett，D.，Filkov，V.，Devanbu，P.：对github中的编程语言和代码质量的大规模研究。在：ACM SIGSOFT，FSE\u201914（2014）”，“DOI”：“10.1145\/2638868.2635922”}，｛“key”：“544_CR9”，“DOI断言为”：“crossref”，“非结构化”：“Alur，R.、Martin，M.、Raghothaman，M.，Stergiou，C.、Tripakis，S.、Udupa，A.：从场景和需求合成有限状态协议。见：HVC，LNCS第8855卷。Springer（2014）”，“DOI”：“10.1007\/978-3-319-13338-6_7”}，{“issue”：“1”，“key”：“544_CR10”，“DOI-asserted-by”：“publisher”，“first page”：”55“，“DOI:”10.1145\/3061640.3061652“，“volume”：“48”，“author”：“R Alur”，“year”：“2017”，“unstructured”：“Alur，R.，Tripakis，S.：分布式协议的自动合成。SIGACT News 48（1），55\u201390（2017）”，“journal-title”：“SIGACT News”}，{“key”：”544_CR11“，”volume-title“：”为什么程序失败\u2014A系统调试指南“，”author“：”A Zeller“，”year“：“2009”，“非结构化”：“Zeller，A.：为什么程序会失败\u2014A系统调试指南，第2版。剑桥大学学术出版社（2009）”，“版本”：“2”}，{“键”：“544_CR12”，“卷-时间”：“切换和有限自动机理论”，“作者”：“Z Kohavi”，“年份”：“1978”，“非结构化”：“Kohavi，Z。：切换和有限自动理论，第二版。McGraw-Hill，纽约（1978）”：“2”}，{“key”：“544_CR13”，“doi-asserted-by”：“publisher”，“doi”：“10.1017\/CBO9781139194655”，“volume-title”：“语法推理：学习自动机和语法”，“author”：“C de la Higuera”，”year“：“2010”，“unstructured”：“de la Higgera，C.：语法推理：学自动机和文法。CUP，Cambridge（2010）”}、{“issue”：“5”，”key“：”544 _CR14“，“doi-asserted-by”：“publisher”，“first-page”：“447”，“doi”：“10.1016\/S0019-9958（67）91165-5”，“volume”：“10”，“author”：“EM Gold”，“year”：“1967”，“unstructured”：“Gold，E.M.：限制内的语言识别。Inf.Control 10（5），447\u2013474，“非结构化”：“Raffelt，H.，Steffen，B.：Learnlib:自动化学习和实验库，第3922卷，第377\u2013380页（2006）”，“DOI”：“10.1007\/11693017_28”}，{“key”：“544_CR16”，“DOI-asserted-by”：“crossref”，“unstructured”：“Verwer，S.，Hammerschmidt，C.：flexbring:被动自动化学习包，第638\u2013642页（2017）”，《DOI》：“10.1109\/ICSME.2017.58”}，{“issue”：“5”，“key”：“544_CR17”，“doi-asserted-by”：“publisher”，“first-page”：“448”，“doi”：“10.109\/34.211465”，“volume”：”15“，“author”：“J Oncina”，“year”：“1993”，“unstructured”：“Oncina，J.，Garc\u00eda，P.，Vidal，E.：学习模式识别解释任务的后继换能器。IEEE Trans.pattern Anal.Mach.Intell.15（5），448\u2013458（1993）”，“日志标题”：“IEEE Trans.pattern Anal.Mach-Intell.”}，{“key”：“544_CR18”，“doi-asserted-by”：“crossref”，“unstructured”：“Giantamidis，G.，Tripakis，S.：从输入\u2013输出轨迹中学习Moore机器。收录于：Fitzgerald，J.S.，Heitmeyer，C.L.，Gnesi，S.，Philippou，A.（编辑）第21届国际形式方法研讨会（FM 2016），LNCS第9995卷，第291\u2013309页（2016）”，“DOI”：“10.1007\/978-3319-48989-6_18”}，{“key”：“544_CR19”，“DOI-asserted-by”：“publisher”，“非结构化”：“Mens，I.-E.，Maler，O.：通过大型有序字母学习正则语言。Log.Methods Comput.Sci.11（3）（2015）。https:\/\/doi.org/10.2168\/LMCS-11（3:13）2015”，“doi”：“10.2168\/LMCS-11（3:13）2015”}，｛“key”：“544_CR20”，“doi断言为”：“crossref”，“非结构化”：“Argyros，G.，Stais，I.，Kiayias，A.，Keromytis，A.D.：回归黑色：对消毒剂和过滤器进行正式的黑盒分析。摘自：IEEE安全与隐私研讨会，SP 2016，pp.91\u2013109（2016）”，“DOI”：“10.1109\/SP.2016.14”}，{“key”：“544_CR21”，“DOI-asserted-by”：“crossref”，“unstructured”：“Drews，S.，D\u2019Antoni，L.：学习符号自动机。In:Tools and Algorithms for the Construction and Analysis of Systems，TACAS 2017，第10205卷，LNCS，第173\u2013189页（2017）”，“DOI”：“10.1007\/978-3662-54577-5_10”}，{“key”：“544_CR22”，“volume-title”：“语法推理”，“author”：“KJ Lang”，“year”：“1998年”，“非结构化”：“Lang，K.J.，Pearlmutter，B.A.，Price，R.A.：abbadingo一个dfa学习竞赛和一个新的证据驱动的状态合并算法的结果。收录于：Honavar，V.，Slutzki，G.（eds.）Grammatic Inference.Springer，Berlin（1998）”}，{“issue”：“4”，“key”：“544_CR23”，“doi-asserted-by”：“publisher”，“first-page”：“791”，“doi”：“10.1007\/s10664-012-9210-3”，“volume”：“18”，“author”：“N Walkinshaw”，“year”：“2013”，“unstructured”：“Walkinshav，N.，Lambeau，B.，Damas，C.，Bogdanov，K.，Dupont，P.：Stamina:鼓励软件模型推理技术开发和评估的竞赛。Empir.Softw.Eng.18（4），791\u2013824（2013）”，“journal-title”：“Empir.Softw.Eng.”}，{“issue”：“1”，“key”：“544_CR24”，“doi-asserted-by”：“publisher”，“first page”：”129“，“doi”：“10.1007”，卷：“96”，“author”：“S Verwer”，年：“2014”，“unstructured”：“Verwer，S.，Eyraud，R.，Higuera，C.：Pautomac：概率自动机和隐马尔可夫模型学习竞争。Mach.Learn.96（1），129\u2013154（2014）“，”杂志标题“：”马赫。学习。“}，{”key“：”544_CR25“，”doi-asserted-by“：”publisher“，”first page“：“101”，”doi“：”10.1007\/978-3-030-17502-3_7“，”volume-title“：”Tools and Algorithms for the Construction and Analysis of Systems“，”author“：”M Jasper“，”year“：”2019“，”unstructured“：”Jasper，M.、Mues，M.，Murtovi，A.、Schl\u00fcter，M.；Howar，F.、Steffen，B.、Schordan，M.和Hendriks，D.、Schiffellers，R.、Kuppens，H.、Vaandrager，F.W.：Rers 2019：将合成与现实模型相结合。摘自：Beyer，D.，Huisman，M.，Kordon，F.，Steffen，B.（编辑）《系统构建和分析的工具和算法》，第101\u2013115页。Springer International Publishing，Cham（2019）“}，{“key”：“544_CR26”，“doi-asserted-by”：“crossref”，“unstructured”：“Moore，E.F.：Gedanken-esequential machines。In:Automata Studies，number \u00a034。普林斯顿大学出版社（1956）“，”DOI“：”10.1515\/9781400882618-006“}，{”key“：”544_CR27“，”DOI-asserted-by“：”publisher“，”first page“：“132”，“DOI”：“10.1016\/S0019-9958（61）80003-X”，“volume”：“4”，“author”：“A Gill”，“year”：“1961”，“unstructured”：“Gill，A.：有限自动机状态识别实验。Inf.Control 4，132\u2013154（1961）”，“journal-title“：”Inf.Control“}，{”issue“：”2“，”key“：”544_CR28“，”doi-asserted-by“：”publisher“，”first-page:“87”，“doi”：“10.1016\/0890-5401（87）90052-6”，“volume”：“75”，“author”：“D Anguin”，“year”：“1987”，“unstructured”：“Anguin，D.：从查询和反例中学习常规集。Inf.Compute.75（2），87\u2013106（1987）”，“journal-title“：”信息。计算。“}，{”key“：”544_CR29“，”doi-asserted-by“：”crossref“，”unstructured“：”Shahbaz，M.，Groz，R.：推断肉食机。收录于：FM 2009，pp.207\u2013222（2009）“，”doi“：”10.1007\/978-3642-05089-3_14“}”，{“key”：“544_CR10”，“doi-assert-by”：“crossreff”，“unstructure”：“”Jonsson，B.：通过数据扩展自动机模型的学习。收录于：SFM 2011，高级讲座，pp.327\u2013349（2011）“，”DOI“：”10.1007\/978-3642-21455-4_10“}，”key“：”544_CR31“，”DOI-asserted-by“：”crossref“，”unstructured“：”Cassel，S.，Howar，F.，Jonsson，B.，Steffen，B.：学习扩展有限状态机。收录于SEFM 2014，Proceedings，pp.250\u2013264（2014）“，“密钥”：“544_CR32“，”doi-asserted-by“：”crossref“，”unstructured“：”Arts，F.，Vaandrager，F.：学习I/O自动机。输入：CONCUR。Springer，pp.71\u201385（2010）“，“DOI”：“10.1007\/978-3642-15375-4_6”}，{“key”：“544_CR33”，“DOI-asserted-by”：“crossref”，“unstructured”：“Howar，F.，Steffen，B.，Jonsson，B.，Cassel，S.：推断规范寄存器自动机。In:VMCAI 2012，Proceedings，pp.251\u2013266 4_CR34“，”doi-asserted-by“：”crossref“，”unstructured“：”Aarts，F.，Fiterau-Brostean，P.，Kuppens，H.，Vaandrager，F.W.：使用新值生成学习寄存器自动机。In:Theory Aspects of Computing\u2014ICTAC，volume 9399 of LNCS，pp.165\u2013183（2015）“，“DOI”：“10.1007\/978-3-319-25150-9_11”}，{“key”：“544_CR35”，“DOI-asserted-by”：“crossref”，“unstructured”：“Medhat，R.，Ramesh，S.，Bonakdarpour，B.，Fischmeister，S.：从输入/输出轨迹挖掘混合自动机的框架。In:Embedded Software（EMSOFT），pp.177\u2013186（2015）“，”DOI“：”10.1109\/EMSOFT.2015.7318273“}，{“issue”：“3”，“key”：“544_CR36”，“DOI-asserted-by”：“publisher”，“first page”：”302“，”DOI“：“10.1016\/S0019-9958（78）90562-4”，“volume”：：“37”，“author”：“EM Gold”，“year”：“1978”，“unstructured”：“Gold，E.M.：复杂性根据给定数据进行自动识别。信息。对照37（3），302\u2013320（1978）“，”期刊标题“：”Inf.Control“}，｛”期刊“：”4“，”密钥“：”544_CR37“，”doi断言“：”出版商“，”首页“：”825“，”doi“：”10.1007\\s10664-012-9222-z“，”卷“：”18“，”作者“：”MJ Heule“，”年份“：”2013“，”非结构化“：”Heule，M.J.，Verwer，S.：使用可满足性求解器进行软件模型合成。恩皮尔。柔和。Eng.18（4），825\u2013856（2013）“，“新闻标题”：“Empir。柔和。Eng.“｝，｛“key”：“544_CR38”，“doi asserted by”：“crossref”，“unstructured”：“Ulyantsev，V.，Zakirzyanov，I.，Shalyto，A.：用于DFA识别的基于BFS的对称破坏谓词。在：语言与自动机理论与应用（LATA），LNCS第8977卷。Springer，pp.611\u2013622（2015）”，“doi”：“10.1007\/978-3-319-15579-1_48”｝，｛“key”：“544_CR39”，“doi-asserted-by“：”crossref“，”unstructured“：”Oncina，J.，Garcia，P.：在多项式时间内识别正则语言。In：《结构和句法模式识别进展》，第99\u2013108页（1992年）“，“DOI”：“10.1142\/978812797919_0007”}，{“key”：“544_CR40”，“DOI-asserted-by”：“crossref”，“unstructured”：“Dupont，P.：增量正则推理。In：ICGI-96，第222\u2013237页（1996年）”，“DOI:“10.1007\/BFb0033357”}参考“，”非结构化”：“Lang，K.J.，Pearlmutter，B.A.，Price，R.A.：abbadingo one DFA学习竞赛和新的证据驱动状态合并算法的结果。收录于：ICGI-98，pp.1\u201312（1998）“，“DOI”：“10.1007”，{“key”：“544_CR42”，“DOI-asserted-by”：“crossref”，“unstructured”：“Beschatnikh，I.，Brun，Y.，Ernst，M.D.，Krishnamurthy，A.：从并发系统的csight行为日志推断并发系统的模型。摘自：第36届国际软件工程会议论文集，ICSE 2014。美国纽约州纽约市ACM，第468\u2013479页（2014年）“，”DOI“：”10.1145“/2568225.2568246“}，{”key“：”544_CR43“，”DOI-asserted-by“：”publisher“，”first page“：Verwer，S.，de Weerdt，M.，Witteveen，C.：从正数据中识别概率确定性实时自动机的似然比测试。摘自：Sempere，J.M.，Garc\u00eda，P.（编辑）《语法推理：理论结果和应用》，第203\u2013216页。施普林格，柏林（2010）“}，{“问题”：“3”，“密钥”：“544_CR44”，“发布者断言的doi”，“第一页”：“811”，“doi”：“10.1007\\s10664-015-9367-7”，“卷”：“21”，“作者”：“N Walkinshaw”，“年份”：“2016”，“非结构化”：“Walkinshaw，N.，Taylor，R.，Derrick，J.：从软件执行中推断扩展的有限状态机模型。Empir.Softw.Eng.21（3），811\u2013853（2016）。https:\/\/doi.org\/10.1007\/s10664-015-9367-7“，”journal-title“：”Empir“。柔和。Eng.“}，{”issue“：“1”，”key“：“544_CR45”，”doi-asserted-by“：”publisher“，”first page“：”39“，”doi“：”10.3176\/proc.2013.1.05“，”volume“：：”62“，”author“：”M Spichakova“，“year”：“2013”，”unstructured“：”Spichacova，M.：基于引力激发搜索算法的有限状态机推断方法。爱沙尼亚科学院学报。62（1），39\u201346（2013）“，”期刊标题“：”Proc。爱沙尼亚学院。科学。“}，{”问题“：”3“，”密钥“：”544_CR46“，”doi-asserted-by“：”出版商“，”首页“：”410“，”doi“：”10.1134\/S1064230713020020“，”卷“：”52“，”作者“：”AV Aleksandrov“，”年份“：”2013“，”非结构化“：”Aleksandrov，A.V.，Kazakov，S.V.，Sergushichev，A.A.，Tsarev，F.N.，Shalyto，A.A.：使用基于训练示例的进化编程生成有限状态机，用于控制具有复杂行为的对象。J.计算。系统。Sc.Int.52（3），410\u2013425（2013）“，“期刊标题”：《计算杂志》。系统。Sc.Int.“}，{”issue“：”2“，”key“：”544_CR47“，”doi-asserted-by“：”publisher“，”first page“：“256”，”doi“：”10.1134\/S106423071402004X“，”volume“：‘53’，”author“：”IP Buzhinsky“，”year“：”2014“，”unstructured“：”Buzhinski，I.P.，Ulyantsev，V.I.，Chivilikhin，D.S.，Shalyto，A.A.：使用蚁群优化从训练样本中诱导有限状态机。J。计算。系统。Sc.Int.53（2），256\u2013266（2014）“，“期刊标题”：《计算杂志》。系统。Sc.Int.“}，{“key”：“544_CR48”，“doi-asserted-by”：“crossref”，“unstructured”：“Meinke，K.：CGE:mealy自动机的顺序学习算法。In：Sempere，J.M.，Garc\u00eda，P.（eds.）《语法推断：理论结果与应用》，第十届国际学术讨论会，ICGI 2010，西班牙巴伦西亚，2013年9月13日\u0016日，2010年。LNCS第6339卷《会议记录》。Springer，pp.148\u2013162（2010）“，”DOI“：”10.1007\/978-3642-15488-1_13“}，{”issue“：”2“，”key“：”544_CR49“，”DOI-asserted-by“：”publisher“，”first page“：“167”，“DOI”：“10.1109\/TC.1978.1675053”，“volume”：“27”，“author”：“LPJ Veelenturf”，“year”：“1978”，“unstructured”：“Veelenturf，L.P.J.：从样本计算推断序列机器。IEEE传输。计算。27（2），167\u2013170（1978）“，“期刊标题”：“IEEE Trans。计算。“}，{”issue“：”1“，”key“：”544_CR50“，”doi-asserted-by“：”publisher“，”first-page“：”59“，”doi“：”10.1002\/scj.1184“，”volume“：“34”，”author“：”K Takahashi“，“year”：“2003”，”unstructured“：”Takahahi，K.，Fujiyoshi，A.，Kasai，T.：推断顺序机器的多项式时间算法。Syst.Comput.Jpn.34（1），59\u201367（2003）“，”日志标题“：”系统。计算。日本。“}，{”issue“：”6“，”key“：”544_CR51“，”doi-asserted-by“：”publisher“，”first-page“：”592“，”doi“：”10.1109\/TC.1972.5009015“，”volume“：“21”，”author“：”AW Biermann“，”year“：”1972“，”unstructured“：”Biermann-，A.W.，Feldman，J.A.：关于从行为样本合成有限状态机。IEEE Trans.Compute.21（6），592\u2013597（1972）“，”journal-title“：”IEEE Trans。计算。“}，{”key“：”544_CR52“，”doi-asserted-by“：”crossref“，”unstructured“：”Karthik，A.V.，Ray，S.，Nuzzo，P.，Mishchenko，A.，Brayton，R.，Roychowdhury，J.：ABCD-NL：使用纯布尔模型逼近连续非线性动力系统进行模拟/混合信号验证。In:ASP-DAC，pp.250\u2013255（2014）“doi”：“10.1109 \/ASPDAC.2014.6742898“}，{“key”：“544_CR53”，“doi-asserted-by”：“crossref”，“unstructured”：“Grinchtein，O.，Leucker，M.：从经验不足的教师那里学习有限状态机。In:ICGI，pp.344\u2013345（2006）”，“doi”：“10.1007 \/11872436_30”}，}，“key“：”544_CR54“，”doi-assert-by“：”Crosref“，”非结构化“：”Leucker，M.，Neiler，D.：从缺乏经验的老师那里学习最小确定性自动机。ISoLA，pp.524\u2013538（2012）“，”DOI“：”10.1007\/978-3642-34026-0_39“}，{”issue“：”2“，”key“：”544_CR55“，”DOI-asserted-by“：”publisher“，”first page“：“159”，”DOI:“10.1007\/s10515-014-0157-z”，“volume”：“22”，“author”：“CL Heitmeyer”，“year”：“2015”，“unstructured”：“Heitmeyer，C.L.，Pickett，M.，Leonard，E.I.，Archer，M.M.，Ray，I.，Aha，D.W.，Trafton，J.G.：构建高保障的以人为中心的决策系统。自动。柔和。Eng.22（2），159\u2013197（2015）“，“新闻标题”：“汽车。柔和。Eng.“}，{“issue”：“1”，“key”：“544_CR56”，“doi asserted by”：“publisher”，“first page”：“35”，“doi”：“10.1007\\s10009-016-0442-1”，“volume”：“20”，“author”：“V Ulyantsev”，“year”：“2018”，“nonstructured”：“Ulyantsev，V.，Buzhinsky，I.，Shalito，A.：从场景和时间属性中精确识别有限状态机。STTT 20（1），35\u201355（2018）”，“journal-title“：”STTT“}，{“key”：“544_CR57”，“doi-asserted-by”：“crossref”，“unstructured”：“Gulwani，S.，Srivastava，S.、Venkatesan，R.：作为约束求解的程序分析。In:PLDI\u201908。ACM，pp.281\u2013292（2008）“，“DOI”：“10.1145\/1379022.1375616”}，{“key”：“544_CR58”，“DOI-asserted-by”：“crossref”，“unstructured”：“Col\u00f3n，M.A.，Sankaranarayanan，S.，Sipma，H.B.：使用非线性约束求解的线性不变量生成。In:CAV.Springer，pp.420\u2013432（2003）”，“DOI:”10.1007\/978-3-540-45069-6_39“}，}”键“：”544_CR59“，”doi-asserted-by“：”crossref“，”unstructured“：”Gupta，A.，Rybalchenko，A.：Invgen：一个高效的不变量生成器。In：计算机辅助验证，CAV。Springer，pp.634\u2013640（2009）“，“DOI”：“10.1007\/978-3642-02658-4_48”}，{“key”：“544_CR60”，“DOI-asserted-by”：“crossref”，“unstructured”：“Ackermann，C.，Cleaveland，R.，Huang，S.，Ray，A.，Shelton，C.，Latronico，E.：从测试用例中自动提取需求。In:Runtime Verification，RV\u201910（2010）”，“DOI:”10.1007\/978-3-642-16612-9_1“}，{“issue”：“11”，“key”：“544_CR61”，“doi-asserted-by”：“publisher”，“first-page”：“1704”，“doi”：“10.1109\/TCAD.2015.2421907”，“volume”：”34“，“author”：“X Jin”，“year”：“2015”，“unstructured”：“Jin，X.，Donz，A.，Deshmukh，J.V.，Seshia，S.A.：从闭环控制模型中挖掘需求。IEEE Trans.Compute.Aidd Des.Integr.Circuits Syst.34（11），1704\u20131717（2015）“，“期刊标题”：“IEEE Trans。计算。辅助设计。集成。电路系统。“}，{”key“：”544_CR62“，”doi-asserted-by“：”crossref“，”unstructured“：”Lemieux，C.，Park，D.，Beschastnikh，I.：一般LTL规范挖掘。In：自动化软件工程（ASE），pp.81\u201392（2015）“，”doi“：”10.1109\/ASE.2015.71“}”，{“key”：“544_CR 63”，“doi-assert-by”：“crossref.”，“unstructure”：“”Ammons，G.、Bod\u00edk，R.、Larus，J.R.：采矿规范。位于：POPL\u201902。ACM，pp.4\u201316（2002）“，”DOI“：”10.1145\/565816.503275“}，{”issue“：”8“，”key“：”544_CR64“，”DOI-asserted-by“：”publisher“，”first page“：“1090”，“DOI”：“10.1109\/5.533956”，“volume”：“84”，“author”：“D Lee”，“year”：“1996”，“unstructured”：“Lee，D.，Yannakakakakis，M.：测试有限状态机的原理和方法\u2014a surview。程序IEEE 84（8），1090\u20131123（1996）“，”日记标题“：”Proc。IEEE“}，{”issue“：”3“，”key“：”544_CR65“，”doi-asserted-by“：”publisher“，”first page“：“178”，“doi”：“10.1109\/TSE.1978.231496”，“volume”：“4”，“author”：“TS Chow”，“year”：“1978”，“unstructured”：“Chow，T.S.：用有限状态机建模的测试软件设计。IEEE Trans.Softw.Eng.4（3），178\u2013187（1978）”，“journal-title”：“IEEE Trans.Soft”w.工程“}，{”issue“：”12“，”key“：”544_CR66“，”doi-asserted-by“：”publisher“，”first page“：“1286”，“doi”：“10.1016\/j.infsof.2010.07.001”，“volume”：“52”，“author”：“R Dorofeeva”，“year”：“2010”，“unstructured”：“Dorofeva，R.，El-Fakih，K.，Maag，S.，Cavalli，A.R.，Yevtushenko，N.：基于Fsm的一致性测试方法：一项带有实验评估注释的调查。Inf.软件。Technol公司。52（12），1286\u20131297（2010）“，“新闻标题”：“Inf.Softw。Technol公司。“}，{”key“：”544_CR67“，”doi-asserted-by“：”crossref“，”unstructured“：”Berg，T.，Grinchtein，O.，Jonsson，B.，Leucker，M.，Raffelt，H.，Steffen，B.：关于一致性测试和规则推理之间的对应关系。In:FASE，LNCS第3442卷。Springer，pp.175\u2013189（2005）“，”doi“：”10.1007\/978-3540-31984-9_14“}”，{“key”：“544_CR 68”，“非结构化“：”Sorower，M.S.：关于多标签学习算法的文献综述。技术报告（2010）“}，{“key”：“544_CR69”，“doi-asserted-by”：“crossref”，“unstructured”：“Coste，F.，Nicolas，J.：ICGI-98，章节“如何考虑不兼容状态合并可以减少DFA归纳搜索树。Springer，pp.199\u2013210（1998）”，“doi”：“10.1007\/BFb0054076”}，}，“key“：”“544_CR70”，“非结构化”：“D编程语言。https:\/\/dlang.org\/“}，{“key”：“544_CR71”，“doi-asserted-by”：“crossref”，“unstructured”：“Walkinshaw，N.，Bogdanov，K.：用时间约束推断有限状态模型。收录于：ASE，pp.248\u2013257（2008）”，“doi”：“10.1109\/ASE.2008.35”}，}“key”：”544_CR 72“，”doi-assert-by“：”crossref.“，”非结构化“：”Tsarev，F.，Egorov，K.：使用基于测试和模型检查的遗传算法进行有限状态机归纳。摘自：第十三届遗传与进化计算年会，GECCO，pp.759\u2013762（2011）“，“DOI”：“10.1145\/2001858.2002085”}，{“key”：“544_CR73”，“DOI-asserted-by”：“crossref”，“unstructured”：“Lo，D.，Khoo，S.-C.：Smartic：致力于构建准确、稳健和可扩展的规范挖掘器。收件人：FSE。美国纽约州纽约市ACM，pp.265\u2013275（2006）“，“DOI”：“10.1145\/1181775.1181808”}，{“key”：“544_CR74”，“DOI-asserted-by”：“crossref”，“unstructured”：“Akram，H.I.，de\u00a0la Higuera，C.，Xiao，H.，Eckert，C.：matlab中的语法推理算法。in:ICGI\u201910。Springer，pp.262\u2013266（2010）“，”DOI“：”10.1007\/978-3642-15488-1_22“}]，”container-title“：[”技术转让软件工具国际期刊“]，”原文标题“：[]，”language“：”en“，”link“：[{”URL“：”http://link.Springer.com/content\/pdf\/10007\/s10009-019-00544-0.pdf“，”content-type“：”application\/pdf“”，“content-version”：“vor“，”intended-application“：”text-mining“}，{“URL”：“http://\/link.springer.com/article\/10.1007\/s10009-019-00544-0\/fulltext.html”，“content-type”：“text\/html”，“content-version”：“vor”，“intended-application”：“text-mining”}，}“URL”：“http:\\/link.stringer.com/content\/pdf\/10.10007\/s10009-19-019-0044-0.pdf”，“内容类型”：“application”\/pdf“，”content-version“：”vor“，”intended-application“：”similarity-checking“}]，”deposed“：{”date-parts“：[[2021,1,22]]，”date-time“：”2021-01-22T08:15:09Z“，”timestamp“：1611303309000}，”score“：1，”resource“：”{“primary”：{“URL”：“http://\link.springer.com\/10007\/s10009-019-00544-0”}}，“subtitle”：[]，“shorttitle”：[]，“issued”“：{”日期部分“：[[2019,11,6]]}，”references-count“：74，”journal-issue“：{”issue“：“1”，“published-print”：{“date-parts”：[2021,2]}}，“alternative-id”：[“544”]，“URL”：“http://\/dx.doi.org\/10.1007\/s10009-019-00544-0”，“relationship”：{}，”ISSN“：[”1433-2779“，”1433-2787“]，”ISSN-type“：[{”value“：”1433-277“，”type：“打印”}，{“值”：“1433-2787”，“类型”：“电子”}]，“主题”：[]，“发布”：{date-parts“：[[2019,11,6]]}，”assertion“：[{”value“：”2019年11月6日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“Article History”，“label”：“文章历史”}}]}