Author:
Isberner Malte,Howar Falk,Steffen Bernhard
Publisher
Springer International Publishing
Reference28 articles.
1. Lecture Notes in Computer Science;F. Aarts,2012
2. Angluin, D.: Learning Regular Sets from Queries and Counterexamples. Inf. Comput. 75(2), 87–106 (1987)
3. Balcázar, J.L., Díaz, J., Gavaldà, R.: Algorithms for Learning Finite Automata from Queries: A Unified View. In: Advances in Algorithms, Languages, and Complexity, pp. 53–72 (1997)
4. Berg, T., Jonsson, B., Leucker, M., Saksena, M.: Insights to Angluin’s Learning. Electron. Notes Theor. Comput. Sci. 118, 3–18 (2005),
http://dx.doi.org/10.1016/j.entcs.2004.12.015
5. Bertolino, A., Calabrò, A., Merten, M., Steffen, B.: Never-Stop Learning: Continuous Validation of Learned Models for Evolving Systems through Monitoring. ERCIM News 2012(88) (2012)
Cited by
135 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. State Matching and Multiple References in Adaptive Active Automata Learning;Lecture Notes in Computer Science;2024-09-11
2. SMBugFinder: An Automated Framework for Testing Protocol Implementations for State Machine Bugs;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
3. AsFuzzer: Differential Testing of Assemblers with Error-Driven Grammar Inference;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
4. On the (in)efficiency of fuzzing network protocols;Annals of Telecommunications;2024-08-13
5. Automated Passport Control: Mining and Checking Models of Machine Readable Travel Documents;Proceedings of the 19th International Conference on Availability, Reliability and Security;2024-07-30