Funder
Swedish Research Council
National Research Foundation of Korea
Subject
Hardware and Architecture,Information Systems,Software
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Statistical Reachability Analysis;Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2023-11-30
2. Language-agnostic dynamic analysis of multilingual code: promises, pitfalls, and prospects;Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2022-11-07
3. Pruning Boolean Expressions to Shorten Dynamic Slices;2022 IEEE 22nd International Working Conference on Source Code Analysis and Manipulation (SCAM);2022-10