Author:
Beckman Nels E.,Nori Aditya V.,Rajamani Sriram K.,Simmons Robert J.
Cited by
57 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Parallel program analysis on path ranges;Science of Computer Programming;2024-12
2. Exchanging information in cooperative software validation;Software and Systems Modeling;2024-03-19
3. Program analysis using empirical abstraction;International Journal on Software Tools for Technology Transfer;2023-07-06
4. Parallel Program Analysis via Range Splitting;Fundamental Approaches to Software Engineering;2023
5. Reusing Predicate Precision in Value Analysis;Lecture Notes in Computer Science;2022