Title: Estimating residual fault hitting rates by recapture sampling
Subjects: Asymptotic efficiencies (Statistics), Verification, Computer software