David Hovemeyer, William W. Pugh: Finding more null pointer bugs, but not too many. PASTE 2007: 9-14