Author:
Cornejo Olivares Oscar Eduardo,Pastore Fabrizio,Briand Lionel
Funder
European Space Agency
H2020 European Research Council
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. MOTIF: A tool for Mutation Testing with Fuzzing;2024 IEEE Conference on Software Testing, Verification and Validation (ICST);2024-05-27
3. Taxonomy of Multi-Agent Systems Attacks and their Defense Tactics in Certifying Security of Cyber Physical Systems;2023 International Conference on Advances in Computation, Communication and Information Technology (ICAICCIT);2023-11-23
4. Fuzzing for CPS Mutation Testing;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
5. DaMAT: A Data-driven Mutation Analysis Tool;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05