Sciweavers

20 search results - page 3 / 4
» issre 2008
Sort
View
ISSRE
2008
IEEE
14 years 4 months ago
The Effect of the Number of Defects on Estimates Produced by Capture-Recapture Models
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 ...
Gursimran Singh Walia, Jeffrey C. Carver
ISSRE
2008
IEEE
14 years 4 months ago
Finding Faults: Manual Testing vs. Random+ Testing vs. User Reports
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...
Ilinca Ciupa, Bertrand Meyer, Manuel Oriol, Alexan...
ISSRE
2008
IEEE
14 years 4 months ago
Testing Software Product Lines Using Incremental Test Generation
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...
Engin Uzuncaova, Daniel Garcia, Sarfraz Khurshid, ...
ISSRE
2008
IEEE
14 years 4 months ago
A Framework for Testing Peer-to-Peer Systems
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...
Eduardo Cunha de Almeida, Gerson Sunyé, Yve...
ISSRE
2008
IEEE
14 years 4 months ago
Using Fault Modeling in Safety Cases
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...
Robyn R. Lutz, Ann Patterson-Hine