Optimal stopping of sequential size-dependent search

Annals of Statistics

Volumn 24, Issue 5, 1996, Pages 2215-2232

  Fakhre Zakeri, Issa ^a   Slud, Eric ^b  

^a UNIVERSITY OF NORTH CAROLINA   (United States)

^b Bldg 142   (United States)

Author keywords

Asymptotically optimal stopping rule; Exponential order statistic model; Imperfect debugging; Loss function; Mixture model; Sequential search; Size dependent successive sampling

Indexed keywords

EID: 0030350619     PISSN: 00905364     EISSN: None     Source Type: Journal    
DOI: 10.1214/aos/1069362318     Document Type: Article

References (31)

1. ANDREATTA, G. and KAUFMAN, G. (1986). Estimation of finite population properties when sampling is without replacement and proportional to magnitude. J. Amer. Statist. Assoc. 81 657-666.
2. BAROUCH, E. and KAUFMAN, G. (1976). Probabilistic modelling of oil and gas discovery. In Energy: Mathematics and Models (Fred Roberts, ed.) 133-152. SIAM, Philadelphia.
3. BICKEL, P., NAIR, V. and WANG, P. (1992). Nonparametric inference under biased sampling from a finite population. Ann. Statist. 20 853-878.
4. BICKEL, P. and YAHAV, J. (1967). Asymptotically pointwise optimal procedures in sequential analysis. Proc. Fifth, Berkeley Symp. Math. Statist. Probab. 1 401-413. Univ. California Press, Berkeley.
5. BICKEL, P. and YAHAV, J. (1968). Asymptotically optimal Bayes and minimax procedures in sequential estimation. Ann. Math. Statist. 39 442-456.
6. BICKEL, P. and YAHAV, J. (1969). An asymptotically pointwise optimal rule in sequential estimation with quadratic loss. Ann. Math. Statist. 40 417-426.
7. BILLINGSLEY, P. (1968). Convergence of Probability Measures. Wiley, New York.
8. BLUM, J. and SUSARLA, V. (1977). Estimation of a mixing distribution function. Ann. Probab. 5 200-209.
9. DALAL, S. R. and MALLOWS, C. (1988). When should one stop testing software? J. Amer. Statist. Assoc. 83 872-879.
10. FAKHRE-ZAKERI, I. and SLUD, E. (1995). Mixture models for reliability of software with imperfect debugging: identifiability of parameters. IEEE Trans. Reliability 44 104-113.
11. GORDON, L. (1983). Successive sampling in large finite populations. Ann. Statist. 11 702-706.
12. KRAMER, M. and STARR, N. (1987). Discovery rates for a search in which sampling is proportional to size. Adv. in Appl. Math. 8 222-236.
13. KRAMER, M. and STARR, N. (1990). Optimal stopping in a size dependent search. Sequential Anal. 9 59-80.
14. LINDSAY, B. (1983). The geometry of mixture likelihoods: a general theory. Ann. Statist. 11 86-94.
15. LITTLEWOOD, B. (1980). Theories of software reliability: how good are they and how can they be improved? IEEE Trans. Software Engrg. 6 489-500.
16. LITTLEWOOD, B. (1981). Stochastic reliability growth: a model for fault-removal in computer-programs and hardware-designs. IEEE Trans. Reliability 30 313-320.
17. LITTLEWOOD, B. (1989). Predicting software reliability. Philos. Trans. Roy. Soc. London Ser. A 327 513-527.
18. MILLER, D. (1986). Exponential order statistics of software reliability growth. IEEE Trans. Software Engrg. 12 12-24.
19. MUSA, J. (1980). Software Reliability Data. Data and Analysis Center for Software, Rome, NY.
20. MUSA, J. and OKUMOTO, K. (1985). A logarithmic Poisson execution time model for software reliability measurement. Proceedings of the Seventh International Conference on Software Engineering 343-348. IEEE, New York.
21. RANGA RAO, R. (1962). Relations between weak and uniform convergence of measures with applications. Ann. Math. Statist. 33 659-680.
22. ROSÉN, B. (1972). Asymptotic theory for successive sampling with varying probabilities without replacement. I, II. Ann. Math. Statist. 43 373-397, 748-776.
23. ROSS, S. (1971). Infinitesimal look-ahead stopping-rules. Ann. Math. Statist. 42 297-303.
24. SEBER, G. (1992). A review of estimating animal abundance. II. Internat. Statist. Rev. 60 129-166.
25. SHAPIRO, C. and WARDROP, R. (1980). Dynkin's identity applied to Bayes sequential estimation of a Poisson process rate. Ann. Statist. 8 171-182.
26. SLUD, E. (1983). An empirical Bayes goodness of fit test. Technical Report 598, School of Operations Research and Industrial Engineering, Cornell Univ.
27. SLUD, E. (1994). Testing for imperfect debugging in software reliability. Unpublished manuscript.
28. SUMITA, U. and SHANTIKUMAR, J. (1986). A software reliability model with multiple-error introduction and removal. IEEE Trans. Reliability 35 459-462.
29. VAN PUL, M. (1991). Modelling imperfect repair and software growth. Proceedings of the Interface '91 Conference, Seattle.
30. VAN PUL, M. (1992). Asymptotic properties of statistical models in software reliability. Scand. J. Statist. 19 235-254.
31. VARDI, Y. (1982). Nonparametric estimation in the presence of length bias. Ann. Statist. 10 772-785.