Daniel Brand, Marcio Buss, Vugranam C. Sreedhar. Evidence-Based Analysis and Inferring Preconditions for Bug Detection. In 23rd IEEE International Conference on Software Maintenance (ICSM 2007), October 2-5, 2007, Paris, France. pages 44-53, IEEE, 2007. [doi]
Abstract is missing.