Finding Bugs is Easy (2004)

by D Hovemeyer, W Pugh
Venue:In SIGPLAN Notices