Coverage is not strongly correlated with test suite effectiveness

Coverage is not strongly correlated with test suite effectiveness - Inozemtseva and Holmes, 2014 Is code coverage a useful metric? Inozemtseva and Holmes won an ACM Distinguished Paper award at ICSE 2014 for this paper which asks whether code coverage is a good indicator of test suite effectiveness. How do we know if our test … Continue reading Coverage is not strongly correlated with test suite effectiveness

Compiler Error Notifications Revisited

Compiler Error Notifications Revisited: An interaction-first approach for helping developers more effectively comprehend and resolve error notifications - Barik et al 2014 A short and easy to read paper this morning picking up on the Debugging Reinvented theme of challenging the tools we use everyday. Error notifications and their resolutions, as presented by modern IDEs, … Continue reading Compiler Error Notifications Revisited

Consistency, Availability, and Convergence

Consistency, Availability, and Convergence - Mahajan, Alvisi, and Dahlin, 2014 We've seen in earlier papers that the classic definition of eventual consistency allows some unhelpful models such as all nodes becoming consistent due to returning a constant value. Mahajan et al. close these loopholes with a definition of convergence that matches our commonsense expectations. Then … Continue reading Consistency, Availability, and Convergence