Stopping rules and estimation for recapture debugging with unequal failure rates
From MaRDI portal
Publication:4695187
DOI10.1093/biomet/80.1.193zbMath0770.62069MaRDI QIDQ4695187
Anne Chao, Mark C. K. Yang, Mingchen Ma
Publication date: 21 July 1993
Published in: Biometrika (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1093/biomet/80.1.193
simulation; software testing; software reliability; recapture debugging procedure; adaptive stopping rules; expected penalty; heterogeneous case; number of undetected bugs; remaining failure rate estimation; testing cost
Related Items
Sequential sampling in the search for new shared species, Mineral species frequency distribution conforms to a large number of rare events model: prediction of Earth's missing minerals, Species abundance distribution and species accumulation curve: a general framework and results, A new estimator for the number of species in a population, A Review of the Use of Conditional Likelihood in Capture-Recapture Experiments, Small-Sample Estimation of Species Richness Applied to Forest Communities, Estimating the Number of Species in a Stochastic Abundance Model