Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
304 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Continuous verification with acknowledged MAPE-K pattern and time logic-based slicing: A platooning system of systems case study;Journal of Systems and Software;2023-12
2. Dynamic Slicing of WebAssembly Binaries;2023 IEEE International Conference on Software Maintenance and Evolution (ICSME);2023-10-01
3. An empirical evaluation of quasi-static executable slices;Journal of Systems and Software;2023-06
4. Fast Communication Trace Collection;Performance Analysis of Parallel Applications for HPC;2023
5. Assessing the Impact of Execution Environment on Observation-Based Slicing;2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM);2022-10