Putting static analysis to work for verification: A case study (2000)

by T Lev-Ami, T Reps, S Sagiv, R Wilhelm
Venue:proceedings of the International Symposium on Software Testing and Analysis