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

by T Lev-Ami, T Reps, M Sagiv, R Wilhelm
Venue:In Int. Symp. on Softw. Testing and Analysis (ISSTA