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

by M Sitaraman, D P Gandi, W Kuchlin, C Sinz, B W Weide