Publisher
Springer Berlin Heidelberg
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Frankenstein: fast and lightweight call graph generation for software builds;Empirical Software Engineering;2023-11-16
2. Historia: Refuting Callback Reachability with Message-History Logics;Proceedings of the ACM on Programming Languages;2023-10-16
3. Model Generation For Java Frameworks;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
4. Fast and precise application code analysis using a partial library;Proceedings of the 44th International Conference on Software Engineering;2022-05-21
5. Principles of Staged Static+Dynamic Partial Analysis;Static Analysis;2022