Author:
Ammann P.E.,Black P.E.,Majurski W.
Cited by
123 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Towards Strengthening Formal Specifications with Mutation Model Checking;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. STSearch: State Tracing-based Search Heuristics for RTL Validation;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04
3. Mutation Analysis and Model Checking Guided Test Generation for SoC Run-Time Monitors;2023 36th International Conference on VLSI Design and 2023 22nd International Conference on Embedded Systems (VLSID);2023-01
4. Combining Model-Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL;2022 29th Asia-Pacific Software Engineering Conference (APSEC);2022-12
5. Model Checking Leveraged Error Localization for Complex RTL Designs;2022 IEEE 40th International Conference on Computer Design (ICCD);2022-10