Pesticide: Using SMT Processors to Improve Performance of Pointer Bug Detection. - Jin-Yi Wang; Yen-Shiang Shue; T. N. Vijaykumar; Saurabh Bagchi (ICCD, 2006)