Author:
Bainczyk Alexander,Schieweck Alexander,Isberner Malte,Margaria Tiziana,Neubauer Johannes,Steffen Bernhard
Publisher
Springer International Publishing
Reference31 articles.
1. Aarts, F., Tomte: bridging the gap between active learning and real-world systems. Ph.D. thesis, Radboud University Nijmegen (2014)
2. Aarts, F., de Ruiter, J., Poll, E.: Formal models of bank cards for free. In: 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 461–468, March 2013
3. Lecture Notes in Computer Science;F Aarts,2012
4. Lecture Notes in Computer Science;F Aarts,2010
5. Lecture Notes in Computer Science;F Aarts,2010
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Executable Documentation: Test-First in Action;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
2. Towards Continuous Quality Control in the Context of Language-Driven Engineering;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
3. Lifelong Learning of Reactive Systems in Practice;The Logic of Software. A Tasting Menu of Formal Methods;2022
4. MIDES: A Tool for Supervisor Synthesis via Active Learning;2021 IEEE 17th International Conference on Automation Science and Engineering (CASE);2021-08-23
5. Model learning: a survey of foundations, tools and applications;Frontiers of Computer Science;2021-06-29