Stopping rules and estimation for recapture debugging with unequal failure rates

DOI10.1093/BIOMET/80.1.193MaRDI QIDQ4695187zbMATH OpenOpenAlexFDO

Authors Anne Chao, Mingchen Ma, Mark C. K. Yang

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

zbMATH Keywords

adaptive stopping rulesexpected penaltyheterogeneous casenumber of undetected bugsrecapture debugging procedureremaining failure rate estimationsimulationsoftware reliabilitysoftware testingtesting cost

Mathematics Subject Classification ID

Optimal stopping in statistics (62L15) Reliability and life testing (62N05) Theory of software (68N99)

Recommendations

• A likelihood-based stopping rule for recapture debugging
• Estimating fault hitting rates by recapture sampling
• Estimation and optimal stopping in a debugging model with masking
• scientific article; zbMATH DE number 4020148
• When Should One Stop Testing Software?

Cited in

(14)

• A note on estimating the number of errors in a system by recapture sampling
• 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
• A likelihood-based stopping rule for recapture debugging
• Small-Sample Estimation of Species Richness Applied to Forest Communities
• Estimating the number of species in a stochastic abundance model
• Estimation and optimal stopping in a debugging model with masking
• scientific article; zbMATH DE number 4020148 (Why is no real title available?)
• When Should One Stop Testing Software?
• Sequential sampling in the search for new shared species
• A truncation model for estimating species richness
• A design-based view of species richness estimation in environmental surveys
• Mineral species frequency distribution conforms to a large number of rare events model: prediction of Earth's missing minerals

This page was built for publication: Stopping rules and estimation for recapture debugging with unequal failure rates

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4695187)