Nathaniel Ayewah David Hovemeyer J. David Morgenthaler John Penix William Pugh Using Static Analysis to Find Bugs. 22-29 2008 25 IEEE Software 5 http://dx.doi.org/10.1109/MS.2008.130 db/journals/software/software25.html#AyewahHMPP08