×
索菲亚·卡塞尔；福尔克·豪尔；本特·琼森；伯恩哈德·斯特芬

扩展有限状态机的主动学习。 （英文） Zbl 1342.68174号

正式Asp。计算。 28，第2期，233-263（2016）.

引用于15文件

MSC公司：

68问题32 计算学习理论
65年第68季度 形式语言和自动机

软件：

学习库；里奥；拉利布；z3（零3）；Daikon公司；西格玛*
PDF格式BibTeX公司 XML格式引用
\textit{S.Cassel}等人，《正式Asp》。计算。28，第2号，233--263（2016；Zbl 1342.68174）
全文： 内政部

参考文献：

[1] Ammons G，Bodík R，Larus JR（2002）采矿规范。In：程序。POPL 2002，第4-16页。ACM公司·Zbl 1323.68361号
[2] Alur R，CernýP，Madhusudan P，Nam W（2005）Java类接口规范的综合。In：程序。POPL 2005，第98-109页。ACM公司·Zbl 1369.68126号
[3] Aarts F、Ruiter JD、Poll E（2013）免费银行卡的正式模型。In：程序。ICSTW 2013，第461-468页。电气与电子工程师协会
[4] Aarts F，Heidarian F，Kuppens H，Olsen P，Vaandrager FW（2012）通过反例引导的抽象精化进行自动机学习。In：程序。FM 2012，LNCS第7436卷，第10-27页。施普林格·Zbl 1372.68153号
[5] Aarts F、Howar F、Kuppens H、Vaandrager FW（2014）《推断寄存器自动机的算法——现有方法的比较》。In：程序。ISoLA 2014，第一部分，LNCS第8802卷，第202-219页。施普林格·兹比尔0786.68082
[6] Aarts F，Jonsson B，Uijen J，Vaandrager F（2014）使用规则推理和抽象生成无限状态通信协议模型。形式化方法系统设计46（1）：1-41·Zbl 1322.68131号
[7] Aarts F、Kuppens H、Tretmans J、Vaandrager FW、Verwer S（2012）学习和测试有界重传协议。In：程序。ICGI 2012，JMLR会议记录第21卷，第4-18页。JMLR.org网站·Zbl 1317.68087号
[8] Angluin D（1987）从查询和反例中学习规则集。Inf计算75（2）：87-106·Zbl 0636.68112号 ·doi:10.1016/0890-5401（87）90052-6
[9] Reo FA（2004）基于渠道的组件组合协调模型。数学结构计算科学14（3）：329-366·Zbl 1085.68552号 ·doi:10.1017/S0960129504004153
[10] Aarts F、Schmaltz J、Vaandrager FW（2010）《生物特征护照的推断和提取》。In：程序。ISoLA 2010，第一部分，LNCS第6415卷，第673-686页。施普林格
[11] Botinćan M，BabićD（2013）Sigma*：输入-输出规范的符号学习。In：程序。POPL 2013，第443-456页。ACM公司·Zbl 1301.68095号
[12] Ball T、Bounimova E、Cook B、Levin V、Lichtenberg J、McGarvey C、Ondrusek B、Rajamani SK、Ustuner A（2006）《设备驱动程序的全面静态分析》。In：程序。2006年欧洲系统会议，第73-85页。ACM公司
[13] Bollig B、Habermehl P、Leucker M、Monmege B（2013）学习寄存器自动机的新方法。In：程序。DLT 2013，LNCS第7907卷，第118-130页。施普林格·Zbl 1381.68103号
[14] Broy M、Jonsson B、Katoen J-P、Leucker M、Pretschner A（eds）（2004）《反应系统的基于模型的测试》，LNCS第3472卷。柏林施普林格·Zbl 1070.68088号
[15] Berg T，Jonsson B，Raffelt H（2008）使用具有相等测试的域的状态机的规则推理。In：程序。FASE，LNCS第4961卷，第317-331页·兹比尔1161.68390
[16] Bertoli P、Pistore M、Traverso P（2010）通过异步域中的规划自动组合web服务。Artif Intell 174（3-4）：316-361·doi:10.1016/j.artint.2009.12.002
[17] Clarke E.M、Grumberg O、Peled D（2001）模型检查。麻省理工学院出版社，剑桥·Zbl 0847.68063号 ·doi:10.1016/B978-044450813-3/50026-6
[18] Cassel S，Howar F，Jonsson B（2015）RALib:推断efsms的LearnLib扩展。In:DIFTS 2015，在线提供：http://www.faulty.ece.vt.edu/chaowang/difts2015/papers/paper_5.pdf。
[19] Cassel S、Howar F、Jonsson B、Steffen B（2014）学习扩展有限状态机。In：程序。SEFM 2014，LNCS第8702卷，第250-264页。施普林格·Zbl 1342.68174号
[20] Moura L.MD，Björner N（2008）Z3：高效SMT求解器。In：程序。TACAS 2008，LNCS第4963卷，第337-340页。施普林格
[21] Ernst MD、Perkins JH、Guo PJ、McCamant S、Pacheco C、Tschantz MS、Xiao C（2007）《动态检测可能不变量的Daikon系统》。科学计算程序69（1-3）：35-45·Zbl 1161.68390号 ·doi:10.1016/j.scico.2007.01.015
[22] Gery E、Harel D、Rhapsody EP（2002）一个完整的基于生命周期模型的开发系统。In：程序。IFM 2002，LNCS第2335卷，第1-10页。施普林格·Zbl 1057.68589号
[23] Groz R、Irfan M-N、Oriat C（2012）《安全测试软件模型和透视图规则推理的算法改进》。In：程序。ISoLA 2012，第一部分，LNCS第7609卷，第444-457页。施普林格
[24] Giannakopoulou D，RakamarićZ，Raman V（2012）组件接口的符号学习。In：程序。SAS 2012，LNCS第7460卷，第248-264页。施普林格、柏林、海德堡
[25] Hagerer A、Hungar H、Niese O、Steffen B（2002）通过适度常规外推生成模型。In：程序。FASE 2002，LNCS第2306卷，第80-95页。施普林格·Zbl 1059.68534号
[26] Howar F、Isberner M、Steffen B、Bauer O、Jonsson B（2012）《推断数据结构的语义接口》。In：程序。ISoLA 2012，第一部分，LNCS第7609卷，第554-571页。施普林格
[27] Henzinger TA、Jhala R、Majumdar R（2005）《许可接口》。In：程序。ESEC/FSE 2005，第31-40页。ACM公司
[28] Hungar H，Niese O，Steffen B（2003），自动机学习中的领域特定优化。In：程序。CAV 2003，LNCS第2725卷，第315-327页。施普林格·Zbl 1278.68177号
[29] Howar F（2012）《界面程序的主动学习》。2012年，德国多特蒙德技术大学博士论文
[30] Howar F，Steffen B，Jonsson B，Cassel S（2012）推断规范寄存器自动机。In：程序。VMCAI 2012，LNCS第7148卷，第251-266页。施普林格·Zbl 1326.68168号
[31] Howar F、Steffen B、Merten M（2011）《自动学习与自动字母表抽象细化》。In：程序。VMCAI 2011，LNCS第6538卷，第263-277页。施普林格·兹比尔1317.68096
[32] Huima A（2007）实施Conformiq Qtronic。In：程序。TestCom/FATES 2007，LNCS第4581卷，第1-12页。施普林格
[33] Isberner M、Howar F、Steffen B（2014）《学习寄存器自动机：从语言到程序结构》。马赫数学习96（1-2）：65-98·兹比尔1317.68097 ·doi:10.1007/s10994-013-5419-7
[34] Isberner M、Howar F、Steffen B（2015）《开源学习——主动自动机学习的框架》。收录人：Kroening D，Pasareanu CS（eds）Proc。CAV 2015，LNCS第9206卷，第487-495页。施普林格
[35] Jhala R，Majumdar R（2009）软件模型检查。ACM计算概况41（4）：21，1-21，54·Zbl 1507.68188号 ·数字对象标识代码：10.1145/1592434.1592438
[36] Lorenzoli D，Mariani L，PezzèM（2008）软件行为模型的自动生成。In：程序。ICSE 2008，第501-510页。ACM公司
[37] Maler O，Mens I-E（2014）通过大字母学习正规语言。In：程序。TACAS 2014，LNCS第8413卷，第485-499页。施普林格
[38] Rivest RL，Schapire RE（1993）使用归位序列推断有限自动机。信息计算103（2）：299-347·Zbl 0786.68082号 ·doi:10.1006/inco.1993.1021
[39] Shu G，Lee D（2007）测试协议实现的安全属性——一种基于机器学习的方法。In：程序。ICDCS 2007，第25页。电气与电子工程师协会
[40] Utting M，Legeard B（2007）《基于模型的实用测试——工具方法》。伯灵顿摩根考夫曼
[41] Walkinshaw N，Bogdanov K，Derrick J，Paris J（2010）《通过归纳测试增加功能覆盖：案例研究》。In：程序。ICTSS 2010，LNCS第6435卷，第126-141页。施普林格
[42] 肖华，孙杰，刘毅，林S-W，孙C（2013）子余：学习有状态类型状态。In：程序。ASE 2013，第432-442页。电气与电子工程师协会·Zbl 0636.68112号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。