Keith Gallagher David Binkley Mark Harman Stop-List Slicing. 11-20 2006 conf/scam/2006 SCAM http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.30 db/conf/scam/scam2006.html#GallagherBH06