Author:
Aarts Fides,Vaandrager Frits
Publisher
Springer Berlin Heidelberg
Reference29 articles.
1. Aarts, F.: Inference and Abstraction of Communication Protocols. Master thesis, Radboud University Nijmegen and Uppsala University (November 2009)
2. Aarts, F., Schmaltz, J., Vaandrager, F.: Inference and abstraction of the biometric passport (May 2010)
3. ALDEBARAN manual,
http://www.inrialpes.fr/vasy/cadp/man/aldebaran.html
4. Lecture Notes in Computer Science;R. Alur,1998
5. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87–106 (1987)
Cited by
68 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Building Device Models Using LLMs for Requirements Simulation in Smart Homes;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24
2. Leveraging Conditional Statement to Generate Acceptance Tests Automatically via Traceable Sequence Generation;2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS);2023-10-22
3. Inferring Symbolic Automata;Logical Methods in Computer Science;2023-04-20
4. A Categorical Framework for Learning Generalised Tree Automata;Coalgebraic Methods in Computer Science;2022
5. A New Approach for Active Automata Learning Based on Apartness;Tools and Algorithms for the Construction and Analysis of Systems;2022