Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations (2003)

by Ted Kremenek , Dawson Engler
Venue:In Proceedings of 10th Annual International Static Analysis Symposium
Citations:38 - 2 self