The humane bugfinder: Modular static analysis using a SAT solver (2003)

by M Sitaraman, D P Gandi, W Küchlin, C Sinz, B W Weide
Venue:Clemson University, Clemson SC