David Binkley Mark Harman Jens Krinke Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation. 43-52 2006 conf/scam/2006 SCAM http://doi.ieeecomputersociety.org/10.1109/SCAM.2006.7 db/conf/scam/scam2006.html#BinkleyHK06