Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations.

Ted Kremenek, Dawson R. Engler

Browse the full SAS paper archive.