摘要
Fides Aarts、Bengt Jonsson、Johan Uijen和Frits W.Vaandrager。 2015.使用规则推理和抽象生成无限状态通信协议模型。 系统设计中的形式化方法 46, 1 (2015), 1--41. 谷歌学者 
数字图书馆 
赤崎拓美和哈朔一郎。 2015年，MTL的时间稳健性和混合系统伪造的表达性。 在 计算机辅助验证——第27届国际会议，CAV 2015，美国加利福尼亚州旧金山，2015年7月18-24日，会议记录，第二部分（计算机科学讲稿） Daniel Kroening和Corina S.Pasareanu（编辑），第9207卷。 施普林格，356--374。 谷歌学者 交叉引用 
Akazaki Takumi、Liu Shuang、Yamagata Yoriyuki、Duan Yihai和Hao Jianye。 2018.使用深度强化学习对网络物理系统进行伪造。 在 形式方法第22届国际研讨会，2018年FM，作为联邦逻辑会议的一部分，2018年7月15日至17日在英国牛津举行，会议记录（计算机科学讲稿） 、克劳斯·哈维隆德（Klaus Havelund）、扬·佩莱斯卡（Jan Peleska）、比尔·罗斯科（Bill Roscoe）和埃里克·德文克（Erik P.de Vink）（编辑），第10951卷。 施普林格，456-465。 谷歌学者 交叉引用 达娜·安格鲁因。 1987.从查询和反例中学习正则集。 Inf.计算。 75, 2 (1987), 87--106. 谷歌学者 数字图书馆 Yashwanth Annpureddy、Che Liu、Georgios E.Fainekos和Sriram Sankaranarayanan。 2011年，S-TaLiRo:混合系统时间逻辑伪造工具。 在 系统构建和分析的工具和算法——2011年第17届国际会议，TACAS，作为欧洲软件理论和实践联合会议的一部分，ETAPS 2011，德国萨尔布吕肯，2011年3月26日至4月3日。 会议记录（计算机科学课堂讲稿） 帕罗什·阿齐兹·阿卜杜拉（Parosh Aziz Abdulla）和K.Rustan M.Leino（编辑），第6605卷。 施普林格，254-257。 谷歌学者 交叉引用 安妮·奥格和尼古拉·汉森。 2005年，随着人口规模的增加，重新启动CMA进化战略。 在 《IEEE进化计算大会论文集》，CEC 2005，2005年9月2日至4日，英国爱丁堡。 IEEE，1769-1776年。 谷歌学者 交叉引用 克里斯特尔·拜尔（Christel Baier）和朱斯特·佩特尔·卡托恩（Joost-Pieter Katoen）。 2008 模型检查原则。 麻省理工学院出版社。 谷歌学者 数字图书馆 Amel Bennaceur、Reiner Hähnle和Karl Meinke（编辑）。 2018 动态软件分析的机器学习：潜力与局限——16172年国际达格斯图尔研讨会，德国达格斯图城堡，2016年4月24-27日，修订论文。 计算机科学讲义，第11026卷。 斯普林格。 谷歌学者 交叉引用 马可·贝尔纳多（Marco Bernardo）和瓦莱里·伊斯萨尼（Valérie Issarny）（编辑）。 2011 永恒网络软件系统的形式化方法-第11届国际计算机、通信和软件系统设计形式化方法学院，2011年6月13日至18日，意大利贝尔蒂诺罗，SFM。 高级讲座。 计算机科学讲义，第6659卷。 斯普林格。 谷歌学者 交叉引用 Eric Brochu、Vlad M.Cora和Nando de Freitas。 2010年，《昂贵成本函数的贝叶斯优化教程，应用于主动用户建模和分层强化学习》。 CoRR公司 abs/1012.2599（2010）。 arXiv:1012.2599 http://arxiv.org/abs/10122.599 谷歌学者 Tsun S.Chow先生。 1978.Finite-State Machines建模的测试软件设计。 IEEE传输。 软件工程。 4, 3 (1978), 178--187. 谷歌学者 数字图书馆 马塞洛·阿莫林和格里戈·罗苏。 2005年，有效监测欧米伽语。 在 计算机辅助验证，第17届国际会议，CAV 2005，英国苏格兰爱丁堡，2005年7月6日至10日，会议记录（计算机科学讲义） 库沙·埃特萨米（Kousha Etessami）和斯里拉姆·拉贾马尼（Sriram K.Rajamani）（编辑），第3576卷。 施普林格，364--378。 谷歌学者 数字图书馆 Jyotirmoy V.Deshmukh、Alexandre Donzé、Shromona Ghosh、Xiaoqing Jin、Garvit Juniwal和Sanjit A.Seshia。 2017.信号时序逻辑的稳健在线监测。 系统设计中的形式化方法 51, 1 (2017), 5--30. 谷歌学者 数字图书馆 Jyotirmoy V.Deshmukh、Marko Horvat、Xiaoqing Jin、Rupak Majumdar和Vinayak S.Prabhu.2017年。 通过贝叶斯优化测试网络物理系统。 ACM事务处理。 嵌入式计算。 系统。 16, 5 (2017), 170:1--170:18. 谷歌学者 数字图书馆 阿德尔·多坎奇（Adel Dokhanchi）、沙基巴·雅古比（Shakiba Yaghoubi）、巴迪·霍夏（Bardh Hoxha）和乔治奥斯·费内科斯（Georgios E.Fainekos）。 2017.MTL请求响应规范的真空感知伪造。 在 第十三届IEEE自动化科学与工程会议，CASE 2017，中国西安，2017年8月20-23日。 IEEE，1332--1337。 谷歌学者 数字图书馆 Alexandre Donzé。 2010年，Breach，混合系统验证和参数合成工具箱。 在 2010年7月15日至19日，英国爱丁堡，2010年CAV第22届国际会议，计算机辅助验证。 会议记录（计算机科学课堂讲稿） 、泰西尔·图利、拜伦·库克和保罗·杰克逊（编辑），第6174卷。 施普林格，167-170。 谷歌学者 数字图书馆 亚历山大·唐泽和奥德·马勒。 2010.时态逻辑对实值信号的鲁棒满意度。 在 时间系统的形式化建模与分析-第八届国际会议，FORMATS 2010，奥地利Klosterneuburg，2010年9月8日至10日。 会议记录（计算机科学课堂讲稿） Krishnendu Chatterjee和Thomas A.Henzinger（编辑），第6246卷。 施普林格，92-106。 谷歌学者 交叉引用 托马索·德罗西（Tommaso Dreossi）、亚历山大·唐泽（Alexandre Donzé）和桑吉特·塞希亚（Sanjit A.Seshia）。 2017.使用机器学习组件对网络物理系统进行合成伪造。 在 美国国家航空航天局形式方法第九届国际研讨会，2017年NFM，2017年5月16日至18日，美国加利福尼亚州莫菲特菲尔德，会议记录（计算机科学讲稿） Clark W.Barrett、Misty Davies和Temesghen Kahsai（编辑），第10227卷。 357--372. 谷歌学者 交叉引用 胡安·何塞·杜里略（Juan JoséDurillo）和安东尼奥·内布罗（Antonio J.Nebro）。 jMetal：一个用于多目标优化的Java框架。 工程软件进展 42, 10 (2011), 760--771. 谷歌学者 数字图书馆 吉登·恩斯特（Gidon Ernst）、保罗·阿卡尼（Paolo Arcaini）、亚历山大·唐泽（Alexandre Donzé）、乔治奥斯·费内科斯（Georgios Fainekos）、洛根·马塞森（Logan Mathesen）、朱利亚·佩德里利（Giulia Pedrielli）、沙基巴·雅古比（Shakiba Yaghoubi。 2019.ARCH-COMP 2019类别报告：伪造，见[22]，129--140。 网址：http://www.easychair.org/publications/paper/5VWq 谷歌学者 乔治·费内科斯（Georgios E.Fainekos）和乔治·帕帕斯（George J.Pappas）。 2009.连续时间信号的时序逻辑规范的稳健性。 西奥。 计算。 科学。 410, 42 (2009), 4262--4291. 谷歌学者 数字图书馆 Goran Frehse和Matthias Althoff（编辑）。 2019 ARCH19.第六届连续和混合系统应用验证国际研讨会，2019年CPS-IoT周的一部分，加拿大魁北克省蒙特利尔，2019月15日。 EPiC计算机系列，第61卷。 EasyChair。 http://www.easychair.org/publications/volume/ARCH19 谷歌学者 苏苏木·藤原（Susumu Fujiwara）、格雷戈·冯·博克曼（Gregor von Bochmann）、费哈特·肯德克（Ferhat Khendek）、莫赫塔尔·阿马卢（Mokhtar Amalou）和阿卜杜拉扎克·盖达姆西（Abderrazak Ghedamsi）。 1991.基于有限状态模型的测试选择。 IEEE传输。 软件工程。 17, 6 (1991), 591--603. 谷歌学者 数字图书馆 Alex Groce、Doron A.Peled和Mihalis Yannakakis。 2006.自适应模型检查。 IGPL逻辑期刊 14, 5 (2006), 729--744. 谷歌学者 交叉引用 福尔克·豪尔和伯恩哈德·斯特芬。 2018.主动自动化实践学习——2011年至2016年的注释书目，见[8]，123--148。 谷歌学者 交叉引用 巴迪·霍克萨（Bardh Hoxha）、胡萨姆·阿巴斯（Houssam Abbas）和乔治奥斯·费内科斯（Georgios E.Fainekos）。 2014.汽车系统时序逻辑要求基准。 在 第一届和第二届连续和混合系统应用验证国际研讨会， 建筑@CPSWeek 2014年4月14日，德国柏林 建筑@CPSWeek 2015年4月13日，美国华盛顿州西雅图。 （EPiC计算系列） Goran Frehse和Matthias Althoff（编辑），第34卷。 EasyChair，25-30岁。 http://www.easychair.org/publications/paper/Bechmarks_for_Temporal_Logic_Requirements_for_Automotive_Systems 谷歌学者 马尔特·伊斯伯纳（Malte Isberner）、福克·豪瓦尔（Falk Howar）和伯恩哈德·斯特芬（Bernhard Steffen）。 2014.TTT算法：主动自动机学习的无冗余方法。 在 运行时验证——2014年9月22日至25日在加拿大安大略省多伦多举行的第五届RV 2014国际会议。 会议记录（计算机科学课堂讲稿） Borzoo Bonakdarpour和Scott A.Smolka（编辑），第8734卷。 施普林格，307--322。 谷歌学者 交叉引用 马尔特·伊斯伯纳（Malte Isberner）、福克·豪瓦尔（Falk Howar）和伯恩哈德·斯特芬（Bernhard Steffen）。 2015.开源学习库-主动自动化学习框架。 在 计算机辅助验证-第27届国际会议，CAV 2015，美国加利福尼亚州旧金山，2015年7月18日至24日，会议记录，第一部分（计算机科学讲义） Daniel Kroening和Corina S.Pasareanu（编辑），第9206卷。 施普林格，487--495。 谷歌学者 交叉引用 Gijs Kant、Alfons Laarman、Jeroen Meijer、Jaco van de Pol、Stefan Blom和Tom van Dijk。 LTSmin：高性能语言独立模型检查。 在 系统构建和分析的工具和算法——第21届国际会议，TACAS 2015，作为欧洲软件理论和实践联合会议的一部分举行，ETAPS 2015，英国伦敦，2015年4月11-18日。 会议记录（计算机科学课堂讲稿） 克里斯特尔·拜尔（Christel Baier）和塞萨尔·蒂内利（Cesare Tinelli）（编辑），第9035卷。 施普林格，692-707。 谷歌学者 数字图书馆 Koki Kato、石川福贵和本田信一。 2018年，通过强化学习伪造网络物理系统。 在 第三届网络物理系统监测与测试研讨会， MT@CPSWeek 2018年4月10日，葡萄牙波尔图。 IEEE，5--6。 谷歌学者 交叉引用 霍贾特·科斯罗杰迪和卡尔·梅恩克。 2018年，使用空间和时间要求对自治系统进行基于学习的测试。 在 第一届共生机器学习和软件工程国际研讨会论文集， ASE的质量 2018年9月3日，法国蒙彼利埃 Gilles Perrouin、Mathieu Acher、Maxime Cordy和Xavier Devroey（编辑）。 美国医学会，6-15。 谷歌学者 数字图书馆 霍贾特·科斯洛夫杰迪（Hojat Khosrowjerdi）、卡尔·梅恩克（Karl Meinke）和安德烈亚斯·拉斯穆森（Andreas Rasmusson）。 2017.基于学习的安全关键汽车应用测试。 在 基于模型的安全与评估——第五届国际研讨会，2017年IMBSA，意大利特伦托，2017年9月11-13日，会议记录（计算机科学讲稿） Marco Bozzano和Yiannis Papadopoulos（编辑），第10437卷。 施普林格，197-211。 谷歌学者 交叉引用 Scott Kirkpatrick、C Daniel Gelatt和Mario P Vecchi。 1983。模拟退火优化。 科学 220, 4598 (1983), 671--680. 谷歌学者 约翰·科扎（John R.Koza）。 1993 遗传编程——通过自然选择对计算机进行编程。 麻省理工学院出版社。 谷歌学者 数字图书馆 Orna Kupferman和Moshe Y.Vardi。 2001.安全特性的模型检查。 系统设计中的形式化方法 19, 3 (2001), 291--314. 谷歌学者 数字图书馆 马可·鲁森和鲁道夫·勒里奇。 2004.工程优化的全球化Nelder-Mead方法。 计算机和结构 82, 23-26 (2004), 2251--2260. 谷歌学者 奥德·马勒和德扬·尼科维奇。 2004.监测连续信号的时间特性。 在 时间和容错系统的形式技术、建模和分析，时间系统的形式建模和分析联合国际会议，FORMATS 2004和实时和容错系统中的形式技术，FTRTFT 2004，法国格勒诺布尔，2004年9月22日至24日，会议录（计算机科学讲稿） 亚辛·拉赫内克（Yassine Lakhnech）和塞尔吉奥·尤文（Sergio Yovine）（编辑），第3253卷。 斯普林格，152--166。 谷歌学者 交叉引用 Jeroen Meijer和Jaco van de Pol。 2019.在LearnLib中进行语音黑盒检查。 国际证券交易所 15, 3-4 (2019), 267--287. 谷歌学者 数字图书馆 卡尔·梅恩克。 2017.基于学习的网络物理系统对系统的测试：一项排成研究。 在 计算机性能工程-第14届欧洲研讨会，2017年EPEW，德国柏林，2017年9月7-8日，会议记录（计算机科学讲稿） Philipp Reinecke和Antinisca Di Marco（编辑），第10497卷。 施普林格，135-151。 谷歌学者 交叉引用 卡尔·梅恩克。 2018.基于学习的测试：最近进展和未来展望，见[8]，53--73。 谷歌学者 交叉引用 卡尔·梅克（Karl Meinke）和穆达萨·辛杜（Muddassar A.Sindhu）。 2013年，LBTest：基于学习的无功系统测试工具。 在 第六届IEEE软件测试、验证和确认国际会议，2013年ICST，卢森堡，2013年3月18-22日。 IEEE计算机学会，447--454。 谷歌学者 数字图书馆 Volodymyr Mnih、Koray Kavukcuoglu、David Silver、Andrei A.Rusu、Joel Veness、Marc G.Bellemare、Alex Graves、Martin A.Riedmiller、Andreas Fidjeland、Georg Ostrovski、Stig Petersen、Charles Beattie、Amir Sadik、Ioannis Antonoglou、Helen King、Dharshan Kumaran、Daan Wierstra、Shane Legg和Demis Hassabis。2015年。 通过深度强化学习进行人的水平控制。 自然 518, 7540 (2015), 529--533. 谷歌学者 Truong Nghiem、Sriram Sankaranarayanan、Georgios E.Fainekos、Franjo Ivancic、Aarti Gupta和George J.Pappas。 2010年，非线性混合系统时间特性伪造的蒙特卡洛技术。 在 2010年4月12日至15日在瑞典斯德哥尔摩举行的第13届ACM混合系统国际会议论文集：计算与控制 Karl Henrik Johansson和Wang Yi（编辑）。 美国医学会，211-220。 谷歌学者 数字图书馆 Doron A.Peled、Moshe Y.Vardi和Mihalis Yannakakis。 2002.黑盒检查。 自动机、语言和组合数学杂志 7, 2 (2002), 225--246. 谷歌学者 交叉引用 阿米尔·普努利。 1977.程序的时间逻辑。 在 1977年10月31日至11月1日在美国罗德岛州普罗维登斯举行的第18届计算机科学基础年度研讨会。 IEEE计算机学会，46-57。 谷歌学者 数字图书馆 Hendrik Roehm、Jens Oehlering、Matthias Woehrle和Matthias Althoff。 2019.网络物理系统的模型一致性：调查。 TCPS公司 3, 3 (2019), 30:1--30:26. 谷歌学者 数字图书馆 Bernhard Steffen、Falk Howar和Maik Merten。 2011.从实践角度介绍主动自动化学习，参见[9]，256--296。 谷歌学者 交叉引用 M.P.瓦西列夫斯基。 1973.自动机故障诊断。 控制论 9、4（1973年7月1日），653--665。 谷歌学者 Shakiba Yaghoubi和Georgios Fainekos。 2018年，使用基于梯度的空间和时间局部搜索伪造时间逻辑要求。 在 第六届IFAC混合动力系统分析与设计会议，2018年ADHS，英国牛津，2018年7月11-13日（IFAC论文在线） 亚历山德罗·阿巴特（Alessandro Abate）、安托万·吉拉德（Antoine Girard）和莫里斯·希梅尔斯（Maurice Heemels）（编辑），第51卷。 爱思唯尔，103-108。 谷歌学者 交叉引用 Zhenya Zhang、Gidon Ernst、Sean Sedwards、Paolo Arcaini和Ichiro Hasuo。 2018.蒙特卡洛树搜索指导下的混合系统的两层伪造。 IEEE传输。 集成电路与系统CAD 37, 11 (2018), 2894--2905. 谷歌学者 交叉引用 张振亚（Zhenya Zhang）、哈索一郎（Ichiro Hasuo）和阿卡尼（Paolo Arcaini）。 2019.混合系统伪造中布尔连接词的多臂强盗。 在 计算机辅助验证-第31届国际会议，CAV 2019，美国纽约市，2019年7月15日至18日，会议记录，第一部分（计算机科学讲稿） Isil Dillig和Serdar Tasiran（编辑），第11561卷。 斯普林格，401-420。 谷歌学者 交叉引用
建议
通过增强规范的模型检查实现高效的黑盒检查 运行时验证 摘要 黑盒检查（BBC） 是一种用于网络物理系统（CPS）和软件系统的测试方法。 英国广播公司由 主动自动机学习 和 模型检查 ; 从被测系统（SUT）中学习一台Mealy机器，并且学习到的。。。
