A Context-Sensitive Coverage Criterion for Test Suite Reduction