Bruce W. Weide Murali Sitaraman Heather K. Harton Bruce M. Adcock Paolo Bucci Derek Bronish Wayne D. Heym Jason Kirschenbaum David Frazier Incremental Benchmarks for Software Verification Tools and Techniques. 84-98 2008 VSTTE http://dx.doi.org/10.1007/978-3-540-87873-5_10 conf/vstte/2008 db/conf/vstte/vstte2008.html#WeideSHABBHKF08