An Empirical Stopping Rule for Debugging and Testing Computer Software

References

• Barlow , Richard E. and Proschan , Frank . 1965 . Mathematical Theory of Reliability , New York : John Wiley & Sons .
   Google Scholar
• Barlow , Richard E. , Proschan , Frank and Scheuer , E. M. 1966a . “Maximum Likelihood Estimation and Conservative Confidence Interval Procedures in Reliability Growth and Debugging Problems,” , Santa Monica : The RAND Corporation . RM-4749-NASA
   Google Scholar
• Barlow , Richard E. , Proschan , Frank and Scheuer , E. M. 1966b . “Statistical Estimation Procedures for the ‘Burn In’ Process,” , Santa Monica : The RAND Corporation . RM-5109-NASA
   Google Scholar
• Box , George E.P. and Tiao , G. C. 1973 . Bayesian Inference in Statistical Analysis , Reading , Mass. : Addison-Wesley Publishing Co. .
   Google Scholar
• Bhattacharya , S. K. 1967 . “Bayesian Approach to Life Testing and Reliability Estimation,” . Journal of the American Statistical Association , 62 : 48 – 62 .
   Web of Science ®Google Scholar
• Dijkstra , E. W. 1971 . “Notes on Structured Programming,” , University of Maryland Computer Sciences Center . EWD 249
   Google Scholar
• Forman , Ernest H. 1974 . “Statistical Models and Methods for Measuring Software Reliability,” , Program in Logistics, The George Washington University . Technical Memorandum Serial TM-64805
   Google Scholar
• Graybill , Franklin A. 1961 . An Introduction to Linear Statistical Models , New York : McGraw-Hill Book Co. .
   Google Scholar
• Hammersley , J. M. 1950 . “On Estimating Restricted Parameters,” . Journal of the Royal Statistical Society , 12 : 192 – 229 . Ser. B
   Google Scholar
• Jeffreys , H. 1961 . Theory of Probability, , 3rd ed. , Oxford : Clarendon Press .
   Google Scholar
• Jelinski , Z. and Moranda , Paul B. 1972 . “Software Reliability Research,” . In Statistical Computer Performance Evaluation , Edited by: Freiberger , W. 465 – 484 . New York and London : Academic Press .
   Google Scholar
• Jelinski , Z. , Moranda , Paul B. and Moranda , Paul B. 1973 . “Applications of a Probability Based Model to a Code Reading Experiment,” . In Record of the I.E.E.E. Symposium on Computer Software Reliability , 78 – 80 . New York : The Institute of Electrical and Electronics Engineers .
   Google Scholar
• Littlewood , B. and Verrall , J. L. “A Bayesian Reliability Growth Model for Computer Software,” . Record of the I.E.E.E. Symposium on Computer Software Reliability . pp. 70 – 77 . New York : The Institute of Electrical and Electronics Engineers .
   Google Scholar
• Moranda , Paul B. 1975 . “A Comparison of Software Error-Rate Models,” . Texas Conference on Computing , : 2A-6.1 – 2A-6.9 .
   Google Scholar
• Shooman , M. , Hesse , J. , Kientz , A. and Dickson , J. “Quantitative Analysis of Software Reliability,” . Annual Reliability Symposium Proceedings . New York : The Institute of Electrical and Electronics Engineers .
   Google Scholar
• Shooman , M. , Hesse , J. , Kientz , A. and Dickson , J. “Probabilistic Models for Software Reliability Prediction,” . International Symposium on Fault-Tolerant Computing . New York : The Institute of Electrical and Electronics Engineers Computer Society .
   Google Scholar
• Shooman , M. , Hesse , J. , Kientz , A. and Dickson , J. 1973 . “Operational Testing and Software Reliability Estimation During Program Development,” . In Record of the I.E.E.E. Symposium on Computer Software Reliability , 51 – 57 . New York : The Institute of Electrical and Electronics Engineers .
   Google Scholar
• Sprott , D. A. and Kalbfleisch , J. D. 1969 . “Examples of Likelihoods and Comparison with Point Estimates and Large Sample Approximations,” . Journal of the American Statistical Association , 64 : 468 – 484 .
   Web of Science ®Google Scholar