APPLIED STOCHASTIC MODELS AND DATA ANALYSIS, vol.11, no.2, pp.135-143, 1995 (SCI-Expanded)
An optimal empirical Bayesian stopping rule for the Poisson compounded with the geometric distribution is developed and applied to the problem of the sequential testing of computer software. For each checkpoint in time, either the software satisfies a desired economic criterion, or else the software testing is continued.