Author:
Falcone Yliès,Fernandez Jean-Claude,Jéron Thierry,Marchand Hervé,Mounier Laurent
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Asynchronous Testing of Synchronous Components in GALS Systems;Lecture Notes in Computer Science;2019
2. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation;Tools and Algorithms for the Construction and Analysis of Systems;2018
3. Formal analysis and offline monitoring of electronic exams;Formal Methods in System Design;2017-06-01
4. Tests and Refutation;Automated Technology for Verification and Analysis;2017
5. A Systematic Mapping Study on Test Generation from Input/Output Transition Systems;2015 41st Euromicro Conference on Software Engineering and Advanced Applications;2015-08