ICST
2011
IEEE
13 years 4 months ago
2011
IEEE
—A known problem of traditional coverage metrics is that they do not assess oracle quality—that is, whether the computation result is actually checked against expectations. In ...