Publisher
Springer Science and Business Media LLC
Subject
General Computer Science,Control and Systems Engineering
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. On transforming model‐based tests into code: A systematic literature review;Software Testing, Verification and Reliability;2023-09-07
2. PhysCov: Physical Test Coverage for Autonomous Vehicles;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
3. SimAutoGen Tool: Test Vector Generation from Large Scale MATLAB/Simulink Models;Formal Techniques for Distributed Objects, Components, and Systems;2016
4. A systematic literature review on modified condition and decision coverage;Proceedings of the 29th Annual ACM Symposium on Applied Computing;2014-03-24
5. AURORA: AUtomatic RObustness coveRage Analysis Tool;2013 IEEE Sixth International Conference on Software Testing, Verification and Validation;2013-03