Author:
Belinfante Axel,Frantzen Lars,Schallhart Christian
Publisher
Springer Berlin Heidelberg
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. STCG: State-Aware Test Case Generation for Simulink Models;2023 60th ACM/IEEE Design Automation Conference (DAC);2023-07-09
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. APSL: A Light Weight Testing Tool for Protocols with Complex Messages;Hardware and Software: Verification and Testing;2017
4. Diagnosis and Testing: How is Their Relation? Can They Be Combined?;ModelEd, TestEd, TrustEd;2017
5. Data-Driven Test Case Generation for Automated Programming Assessment;Proceedings of the 2016 ACM Conference on Innovation and Technology in Computer Science Education;2016-07-11