Evidence-Based Analysis and Inferring Preconditions for Bug Detection | IEEE Conference Publication | IEEE Xplore