Daniel Brand Marcio Buss Vugranam C. Sreedhar Evidence-Based Analysis and Inferring Preconditions for Bug Detection. 44-53 2007 ICSM http://dx.doi.org/10.1109/ICSM.2007.4362617 conf/icsm/2007 db/conf/icsm/icsm2007.html#BrandBS07