Residual investigation: predictive and precise bug detection.

Kaituo Li, Christoph Reichenbach, Christoph Csallner, Yannis Smaragdakis

Browse the full ISSTA paper archive.