Finding bugs is easy. (2004)

by D Hovemeyer, W Pugh
Venue:SIGPLAN Notices,