Author:
Illous Hugo,Lemerre Matthieu,Rival Xavier
Publisher
Springer International Publishing
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. An input–output relational domain for algebraic data types and functional arrays;Formal Methods in System Design;2024-06-13
2. Advanced Memory and Shape Analyses;Computer Science Foundations and Applied Logic;2024
3. Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12
4. Understanding the Impact of Fingerprinting in Android Hybrid Apps;2023 IEEE/ACM 10th International Conference on Mobile Software Engineering and Systems (MOBILESoft);2023-05
5. Lifting Numeric Relational Domains to Algebraic Data Types;Static Analysis;2022