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

by Murali Sitaraman , Durga P. G , Wolfgang Küchlin , Carsten Sinz , Bruce W. Weide , Murali Sitaraman , Durga P. Gandi , Wolfgang Küchlin , Carsten Sinz , Bruce W. Weide
Citations:4 - 0 self