An empirical study extracts 20,729 expected behaviors from ten Java libraries and finds 17.5% remain untested, independent of line coverage and mutation scores.
Checked coverage: an indicator for oracle quality,
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.SE 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Beyond Coverage and Kill Scores: Empirically Measuring Test Suite Behavioural Gaps
An empirical study extracts 20,729 expected behaviors from ten Java libraries and finds 17.5% remain untested, independent of line coverage and mutation scores.