David Hovemeyer Jaime Spacco William Pugh Evaluating and tuning a static analysis to find null pointer bugs. 13-19 2005 conf/paste/2005 PASTE http://doi.acm.org/10.1145/1108792.1108798 db/conf/paste/paste2005.html#HovemeyerSP05