Aarts，F.、Fiteréu-Broštean，P.、Kuppens，H.、Vaandrager，F.学习寄存器自动机与新价值生成。 在 ICTAC’15 ，LNCS 9399（2015）。 斯普林格，165-183。 谷歌学者 
数字图书馆 
Aarts，F.，Jonsson，B.，Uijen，J.，Vaandrager，F.使用带抽象的规则推理生成无限状态通信协议的模型。 形式方法系统。 设计。 46 , 1 (2015), 1--41. 谷歌学者 数字图书馆 Aarts，F.，de Ruiter，J.，Poll，E.免费提供银行卡的正式模型。 在 第13节 (2013). IEEE，461--468。 谷歌学者 数字图书馆 Aarts，F.，Vaandrager，F.学习I/O自动机。 在 2010年 ，LNCS 6269（2010）。 施普林格，71-85。 谷歌学者 Alur，R.，Madhusudan，P.明显的下推语言。 在 STOC'04年 (2004). 美国医学会，202-211。 谷歌学者 数字图书馆 从查询和反例中学习规则集。 Inf.计算。 75 , 2 (1987), 87--106. 谷歌学者 数字图书馆 Bennett，K.《遗留系统：应对成功》。 IEEE软件。 12 , 1 (1995), 19--23. 谷歌学者 数字图书馆 Berg，T.、Grinchtein，O.、Jonsson，B.、Leucker，M.、Raffelt，H.、Steffen，B.关于一致性测试和规则推理之间的对应关系。 在 2005年法斯 ，LNCS 3442（2005）。 斯普林格，175-189。 谷歌学者 数字图书馆 Bollig，B.，Katoen，J.-P.，Kern，C.，Leucker，M.，Neider，D.，Piegdon，D.libalf:自动机学习框架 CAV’10型 ，LNCS 6174（2010年）。 施普林格，360-364。 谷歌学者 Cassel，S.、Howar，F.、Jonsson，B.RALib:推断EFSM的LearnLib扩展。 在 差异15 (2015). 谷歌学者 Cassel，S.、Howar，F.、Jonsson，B.、Merten，M.、Steffen，B.一个简洁的规范化寄存器自动机模型。 J.日志。 阿尔盖布。 方法。 程序。 84 , 1 (2015), 54--66. 谷歌学者 交叉引用 
Cassel，S.，Howar，F.，Jonsson，B.，Steffen，B.扩展有限状态机的主动学习。 正式Asp。 计算。 28 , 2 (2016), 233--263. 谷歌学者 交叉引用 Chalupar，G.、Peherstorfer，S.、Poll，E.、Ruiter，J.使用乐高的自动化逆向工程。 在 WOOT'14年 （2014年8月）。 IEEE计算机学会。 谷歌学者 Cho，C.、Babic，D.、Shin，E.、Song，D.僵尸网络命令和控制协议形式模型的推断和分析。 在 10立方厘米 (2010). 顶点，426-439。 谷歌学者 数字图书馆 Clarke，E.，Grumberg，O.，Peled，D。 模型检查。 麻省理工学院出版社，马萨诸塞州剑桥，1999年。 谷歌学者 Feng，L.，Lundmark，S.，Meinke，K.，Niu，F.，Sindhu，M.，Wong，P.基于学习的测试案例研究。 在 ICTSS’13 ，LNCS 8254（2013）。 斯普林格，164-179。 谷歌学者 交叉引用 Fiteráu-Broštean，P.，Janssen，R.，Vaandrager，F.将模型学习和模型检查结合起来分析TCP实现。 在 CAV’16 ，LNCS 9780（2016）。 斯普林格，454-471。 谷歌学者 交叉引用 Grinchtein，O.，Jonsson，B.，Leucker，M.事件记录自动机学习。 西奥。 计算。 科学。 411 , 47 (2010), 4029--4054. 谷歌学者 数字图书馆 Groce，A.，Peled，D.，Yannakakis，M.自适应模型检查。 逻辑J.IGPL 14 , 5 (2006), 729--744. 谷歌学者 交叉引用 Hagerer，A.，Hungar，H.，Niese，O.，Steffen，B.通过适度常规外推生成模型。 在 法斯'02 ，LNCS 2306（2002）。 施普林格，80-95。 谷歌学者 交叉引用 Henrix，M.自动化学习的性能改进。 Radboud大学硕士论文（2015年）。 谷歌学者 Hungar，H.，Niese，O.，Steffen，B.自动机学习中的领域特定优化。 在 CAV 2003 ，LNCS 2725（2003）。 施普林格，315-327。 谷歌学者 交叉引用 de la Higuera，C。 语法推理：学习自动机和语法。 剑桥大学出版社，2010年。 谷歌学者 交叉引用 Isberner，M.主动自动机学习基础：算法视角。 多特蒙德技术大学博士论文（2015年）。 谷歌学者 Isberner，M.，Howar，F.，Steffen，B.TTT算法：主动自动机学习的无冗余方法。 在 14号房车 ，LNCS 8734（2014）。 施普林格，307--322。 谷歌学者 交叉引用 Isberner，M.，Howar，F.，Steffen，B.开源LearnLib-主动自动机学习框架。 在 2015年5月 ，LNCS 9206（2015年）。 施普林格，487--495。 谷歌学者 Jhala，R.，Majumdar，R.软件模型检查。 ACM计算。 Surv公司。 41 ，4（2009年10月），21:1--21:54。 谷歌学者 数字图书馆 M.J.卡恩斯、U.V.瓦齐拉尼。 计算学习理论导论。 麻省理工学院出版社，1994年。 谷歌学者 数字图书馆 Lee，D.，Yannakakis，M.测试有限状态机的原理和方法——综述。 程序。 电气与电子工程师协会84 , 8 (1996), 1090--1123. 谷歌学者 交叉引用 Margaria，T.，Niese，O.，Raffelt，H.，Steffen，B.遗留反应式系统的高效基于测试的模型生成。 在 2004年HLDVT (2004). IEEE计算机学会，95-100。 谷歌学者 数字图书馆 Moore，E.Gedanken在顺序机器上的实验。 在 自动化研究 《数学研究年鉴》34（1956）。 普林斯顿大学出版社，129-153。 谷歌学者 交叉引用 Peled，D.，Vardi，M.，Yannakakis，M.黑盒检查。 J.汽车。 语言梳。 7 , 2 (2002), 225--246. 谷歌学者 Rivest，R.L.，Schapire，R.E.使用归位序列推断有限自动机。 Inf.计算。 103 , 2 (1993), 299--347. 谷歌学者 数字图书馆 de Ruiter，J.，Poll，E.TLS实现的协议状态模糊化。 在 USENIX Security’15年 (2015). USENIX协会，193-206。 谷歌学者 Schuts，M.，Hooman，J.，Vaandrager，F.使用模型学习和等价性检查重构遗留软件：一份行业经验报告。 在 2016年iFM ，LNCS 9681（2016）。 施普林格，311-325。 谷歌学者 Shahbaz，M.，Groz，R.通过推断部分模型对基于黑盒组件的系统进行分析和测试。 柔和。 测试。 验证。 Reliab公司。 24 , 4 (2014), 253--288. 谷歌学者 数字图书馆 Valiant，L.G.可学习理论。 在 STOC'84年 （1984年）。 顶点，436-445。 谷歌学者 数字图书馆 Volpato，M.，Tretmans，J.非确定性输入输出转换系统的近似主动学习。 电子。 Commun公司。 最快72 (2015). 谷歌学者 Windmüller，S.、Neubauer，J.、Steffen，B.、Howar，F.、Bauer，O.主动持续质量控制。 在 CBSE’13 (2013). 美国医学会，111-120。 谷歌学者 数字图书馆
建议
用强化学习增强基于机器学习的恶意软件检测模型 ICCNS’18：第八届通信与网络安全国际会议记录 由于新型恶意软件的快速增长，恶意软件检测越来越受到关注。 因此，机器学习（ML）已成为检测恶意软件变体的流行方法。 然而，机器学习模型也可能被欺骗。 通过。。。
