Jeffrey S. Foster Michael W. Hicks William Pugh Improving software quality with static analysis. 83-84 2007 conf/paste/2007 PASTE http://doi.acm.org/10.1145/1251535.1251549 db/conf/paste/paste2007.html#FosterHP07