Author:
Jahier Erwan,Raymond Pascal,Baufreton Philippe
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Specifying a Cryptographical Protocol in Lustre and SCADE;Electronic Proceedings in Theoretical Computer Science;2020-04-26
2. Asynchronous Testing of Synchronous Components in GALS Systems;Lecture Notes in Computer Science;2019
3. TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation;Tools and Algorithms for the Construction and Analysis of Systems;2018
4. Environment-Model Based Testing with Differential Evolution in an Industrial Setting;Applications of Evolutionary Computation;2016
5. Automated test generation for synchronous controllers;Proceedings of the 11th International Workshop on Automation of Software Test - AST '16;2016