Incremental benchmarks for software verification tools and techniques (2008)

by B Weide, M Sitaraman, H Harton, B Adcock, P Bucci, D Bronish, W Heym, J Kirschenbaum, D Frazier
Venue:Proc. of VSTTE ’08