Author:
Black P.E.,Okun V.,Yesha Y.
Cited by
50 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Integrating Mutation Techniques to Keep Specification and Source Code in Sync;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Sustainable and Resilient Land Use Planning: A Multi-Objective Optimization Approach;ISPRS International Journal of Geo-Information;2024-03-18
3. Akka: Mutation Testing for Actor Concurrency in Akka using Real-World Bugs;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
4. An Integrated Mutation Analysis Tool (Imat) For Simulink Models and Their Ideal Implementation;Journal of Aerospace Sciences and Technologies;2023-07-31
5. 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