Characterising, Explaining, and Exploiting the Approximate Nature of Static Analysis through Animation.

David W. Binkley, Mark Harman, Jens Krinke

Browse the full SCAM paper archive.