Affiliation:
1. University of Colorado at Boulder, USA
Funder
Defense Advanced Research Projects Agency
National Science Foundation
Facebook
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Historia: Refuting Callback Reachability with Message-History Logics;Proceedings of the ACM on Programming Languages;2023-10-16
2. Model Generation For Java Frameworks;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04
3. Jasmine: A Static Analysis Framework for Spring Core Technologies;Proceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering;2022-10-10
4. A general approach to modeling Java framework behaviors;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18
5. Scaling static taint analysis to industrial SOA applications: a case study at Alibaba;Proceedings of the 28th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2020-11-07