1399 search results - page 130 / 280 » Verification of Test Suites |
141
click to vote
HYBRID
2000
Springer
15 years 8 months ago
2000
Springer
In this paper, we formulate the problem of characterizing the stability of a piecewise affine (PWA) system as a verification problem. The basic idea is to take the whole Rn as the ...
137
click to vote
JMM2
2006
15 years 4 months ago
2006
Abstract-- In general automatic face classification applications images are captured in natural environments. In these cases, the performance is affected by variations in facial im...
122
Voted
ITC
1997
IEEE
15 years 8 months ago
1997
IEEE
This paper proposes an environment to address Testability Analysis and Test Pattern Generation on VHDL descriptions at the RT-level. The proposed approach, based on a suitable fau...
142
click to vote
PTS
2003
15 years 6 months ago
2003
In this paper, we propose a method for the derivation of an adaptive diagnostic test suite when the system specification and implementation are given in the form of an extended fin...
154
click to vote
ICST
2011
IEEE
14 years 8 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 ...