Brian Cole Daniel Hakim David Hovemeyer Reuven Lazarus William Pugh Kristin Stephens Improving your software using static analysis to find bugs. 673-674 2006 conf/oopsla/2006c OOPSLA Companion http://doi.acm.org/10.1145/1176617.1176667 db/conf/oopsla/oopsla2006c.html#ColeHHLPS06