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