Putting static analysis to work for verification: A case study.

Tal Lev-Ami, Thomas W. Reps, Shmuel Sagiv, Reinhard Wilhelm

Browse the full ISSTA paper archive.