Publisher
American Institute of Aeronautics and Astronautics
Cited by
18 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Mining Specification Parameters for Multi-class Classification;Runtime Verification;2023
2. FIM: fault injection and mutation for Simulink;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
3. Adaptive testing for specification coverage and refinement in CPS models;Nonlinear Analysis: Hybrid Systems;2022-11
4. Search-based Testing for Accurate Fault Localization in CPS;2022 IEEE 33rd International Symposium on Software Reliability Engineering (ISSRE);2022-10
5. Sampling of shape expressions with ShapEx;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20