Author:
Daca Przemysław,Gupta Ashutosh,Henzinger Thomas A.
Publisher
Springer Berlin Heidelberg
Reference37 articles.
1. CRABS tool.
http://pub.ist.ac.at/~przemek/crabs_tool.html
2. Radio Technical Commission for Aeronautics.
www.rtca.org
3. Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis. In: POPL (2002)
4. Banerjee, A., Chattopadhyay, S., Roychoudhury, A.: Static analysis driven cache performance testing. In: RTSS, pp. 319–329 (2013)
5. Beckman, N.E., Nori, A.V., Rajamani, S.K., Simmons, R.J.: Proofs from tests. In: ISSTA, pp. 3–14 (2008)
Cited by
23 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. Parameterized Search Heuristic Prediction for Concolic Execution;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04
4. Symbolic encoding of LL(1) parsing and its applications;Formal Methods in System Design;2023-06-22
5. Parallel Program Analysis via Range Splitting;Fundamental Approaches to Software Engineering;2023