3 search results - page 1 / 1 » A domain coverage metric for the validation of behavioral VH... |
ITC
2000
IEEE
13 years 12 months ago
2000
IEEE
DATE
2006
IEEE
14 years 1 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 11 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...