Peter T. Breuer Simon Pickin Verification in the Light and Large: Large-Scale Verification for Fast-Moving Open Source C Projects. 246-255 2007 conf/sew/2007 SEW http://doi.ieeecomputersociety.org/10.1109/SEW.2007.113 db/conf/sew/sew2007.html#BreuerP07