Author:
Bainczyk Alexander,Schieweck Alexander,Steffen Bernhard,Howar Falk
Publisher
Springer International Publishing
Reference44 articles.
1. Automata learning experience (2016).
http://learnlib.github.io/alex/
. Accessed 23 Oct 2016
2. Todomvc (2016).
http://todomvc.com/
. Accessed 23 Oct 2016
3. Todomvc specification (2016).
https://github.com/tastejs/todomvc/blob/master/app-spec.md
. Accessed 21 Oct 2016
4. Lecture Notes in Computer Science;F Aarts,2010
5. Aarts, F., Kuppens, H., Tretmans, J., Vaandrager, F., Verwer, S.: Improving active mealy machine learning for protocol conformance testing. Mach. Learn. 96(1), 189–224 (2014)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages;Bridging the Gap Between AI and Reality;2023-12-14
2. Quickstrom: property-based acceptance testing with LTL specifications;Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2022-06-09
3. Executable Documentation: Test-First in Action;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
4. Towards Continuous Quality Control in the Context of Language-Driven Engineering;Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering;2022
5. Lifelong Learning of Reactive Systems in Practice;The Logic of Software. A Tasting Menu of Formal Methods;2022