Ted Kremenek Dawson R. Engler Z-Ranking: Using Statistical Analysis to Counter the Impact of Static Analysis Approximations. 295-315 2003 conf/sas/2003 SAS http://link.springer.de/link/service/series/0558/bibs/2694/26940295.htm db/conf/sas/sas2003.html#KremenekE03