Residual Investigation: Predictive and Precise Bug Detection

Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis. Residual Investigation: Predictive and Precise Bug Detection. ACM Transactions on Software Engineering Methodology, 24(2):7, 2014. [doi]

Abstract

Abstract is missing.