Finding bugs is easy.

David Hovemeyer, William W. Pugh

Browse the full OOPSLA paper archive.