* Empirical data for our paper "Assertions Are Strongly Correlated with Test Suite Effectiveness" can be found here.