Putting static analysis to work for veriÞcation: A case study (2000)

by T Lev-Ami, T Reps, M Sagiv, R Wilhelm
Venue:In Proc. International Symposium on Software Testing and Analysis