Improving your software using static analysis to find bugs. - Brian Cole; Daniel Hakim; David Hovemeyer; Reuven Lazarus; William W. Pugh; Kristin Stephens (OOPSLA Companion, 2006)