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

by T Kremenek, D Engler
Venue:In International Conference on Static Analysis