Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis. Residual investigation: predictive and precise bug detection. In Mats Per Erik Heimdahl, Zhendong Su, editors, International Symposium on Software Testing and Analysis, ISSTA 2012, Minneapolis, MN, USA, July 15-20, 2012. pages 298-308, ACM, 2012. [doi]
Abstract is missing.