3 search results - page 1 / 1 » Assessing Oracle Quality with Checked Coverage |
ICST
2011
IEEE
13 years 2 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 ...
DAC
2010
ACM
14 years 2 months ago
2010
ACM
Coverage is a means to quantify the quality of a system specification, and is frequently applied to assess progress in system validation. Coverage is a standard measure in testin...
TAP
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In recent years, we see a growing awareness to the importance of assessing the quality of specifications. In the context of model checking, this can be done by analyzing ...