Evaluating how static analysis tools can reduce code review effort. - Devarshi Singh; Varun Ramachandra Sekar; Kathryn T. Stolee; Brittany Johnson (VL/HCC, 2017)