SMS: Sequential Sampling Designs for Estimating Software Reliability / by Bader Alanazi.