Tal Lev-Ami Thomas W. Reps Shmuel Sagiv Reinhard Wilhelm Putting static analysis to work for verification: A case study. 26-38 2000 ISSTA http://doi.acm.org/10.1145/347324.348031 db/conf/issta/issta2000.html#Lev-AmiRSW00