20 search results - page 3 / 4 » issre 2008 |
ISSRE
2008
IEEE
14 years 23 days ago
2008
IEEE
Project managers use inspection data as input to capture-recapture (CR) models to estimate the total number of faults present in a software artifact. The CR models use the number ...
ISSRE
2008
IEEE
14 years 23 days ago
2008
IEEE
The usual way to compare testing strategies, whether theoretically or empirically, is to compare the number of faults they detect. To ascertain definitely that a testing strategy...
ISSRE
2008
IEEE
14 years 23 days ago
2008
IEEE
We present a novel specification-based approach for generating tests for products in a software product line. Given properties of features as first-order logic formulas, our app...
ISSRE
2008
IEEE
14 years 23 days ago
2008
IEEE
Developing peer-to-peer (P2P) systems is hard because they must be deployed on a high number of nodes, which can be autonomous, refusing to answer to some requests or even unexpec...
ISSRE
2008
IEEE
14 years 23 days ago
2008
IEEE
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...