Improving your software using static analysis to find bugs.

Brian Cole, Daniel Hakim, David Hovemeyer, Reuven Lazarus, William W. Pugh, Kristin Stephens

Browse the full OOPSLA paper archive.