3 search results - page 1 / 1 » A domain coverage metric for the validation of behavioral VH... |
ITC
2000
IEEE
13 years 9 months ago
2000
IEEE
DATE
2006
IEEE
13 years 11 months ago
2006
IEEE
We present a coverage metric which evaluates the testing of a set of interacting concurrent processes. Existing behavioral coverage metrics focus almost exclusively on the testing...
CODES
2001
IEEE
13 years 9 months ago
2001
IEEE
This paper addresses the problem of estimating cost and development effort of a system, starting from its complete or partial high-level description. In addition, some modificatio...