Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
126 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Measuring and Mitigating Gaps in Structural Testing;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
2. Model-Checking-Based Automated Test Case Generation for Z Formal Specification of an Urban Railway Interlocking System;2022 Fourth International Conference on Emerging Research in Electronics, Computer Science and Technology (ICERECT);2022-12-26
3. Creating Formal Models from Informal Design Artefacts;International Journal of Human–Computer Interaction;2022-08-02
4. Error Finding in Real-Time Systems using Mutants of Temporal Properties;2021 40th International Conference of the Chilean Computer Science Society (SCCC);2021-11-15
5. An Automatically Verified Prototype of the Tokeneer ID Station Specification;Journal of Automated Reasoning;2021-09-07