Assessing the Reliability of Computer Software and Computer Networks: An Opportunity for Partnership with Computer Scientists

References

• Agrawal , A. and Barlow , R. E. 1984 . “A Survey of Network Reliability,” . Operations Research , 32 : 478 – 492 .
   Web of Science ®Google Scholar
• Avizienis , A. “Fault-Tolerance: The Survival Attribute of Digital Systems,” . Proceedings of the IEEE . pp. 1109 – 1125 . New York : Institute of Electrical and Electronic Engineers .
   Google Scholar
• Bavuso , S. J. 1984 . “A User's View of CARE III,” , Hampton , VA : NASA-Langley Research Center .
   Google Scholar
• Bernhard , R. 1980 . “The ‘No-Downtime’ Computer,” . IEEE Spectrum , : 33 – 37 . (September)
   Web of Science ®Google Scholar
• Claudio , L. F. and Kaspersen , D. L. “Example Applications of Software Reliability Estimation,” . Proceedings of the 1981 Army Numerical Analysis and Computer Conference . pp. 41 – 58 . Research Triangle Park , NC : U.S. Army Research Office .
   Google Scholar
• Crow , L. H. and Singpurwalla , N. D. 1984 . “An Empirically Developed Fourier Series Model for Describing Software Failures,” . IEEE Transactions on Reliability , R-33 : 176 – 183 .
   Web of Science ®Google Scholar
• Dale , C. J. , Harris , L. N. and O'Connor , P. D. T. 1982 . “Software Reliability Evaluation Methods,” , Stevenage , , England : British Aerospace, Dynamics Group . Technical Report ST 26750
   Google Scholar
• Duran , J. W. and Wiorkowski , J. J. 1980 . “Quantifying Software Reliability by Sampling,” . IEEE Transactions on Reliability , R-29 : 141 – 144 .
   Web of Science ®Google Scholar
• Feller , W. 1966 . An Introduction to Probability Theory and Its Application , Vol. 1 , New York : John Wiley .
   Google Scholar
• Forman , E. H. and Singpurwalla , N. D. 1977 . “An Empirical Stopping Rule for Debugging and Testing Computer Software,” . Journal of the American Statistical Association , 72 : 750 – 757 .
   Web of Science ®Google Scholar
• Forman , E. H. and Singpurwalla , N. D. 1979 . “Optimal Time Intervals for Testing Hypothesis on Computer Software Errors,” . IEEE Transactions on Reliability , R-28 : 250 – 253 .
   Web of Science ®Google Scholar
• Goel , A. L. and Okumoto , K. 1979 . “Time Dependent Error Detection Rate Model for Software Reliability and Other Performance Measures,” . IEEE Transactions on Reliability , R-28 : 206 – 211 .
   Web of Science ®Google Scholar
• Horigome , M. , Singpurwalla , N. D. and Soyer , R. “A Bayes Empirical Bayes Approach for (Software) Reliability Growth,” . Computer Science and Statistics: Proceedings of the 16th Computer Science and Statistics Symposium on the Interface . pp. 47 – 56 . Amsterdam : North-Holland .
   Google Scholar
• Jelinski , Z. and Moranda , P. B. 1972 . “Software Reliability Research,” . In Statistical Computer Performance Evaluation , Edited by: Freiberger , W. 465 – 484 . New York : Academic Press .
   Google Scholar
• Kremer , W. 1983 . “Birth-Death and Bug Counting,” . IEEE Transactions on Reliability , R-32 : 37 – 46 .
   Web of Science ®Google Scholar
• Kyparisis , J. and Singpurwalla , N. D. “Bayesian Inference for the Weibull Process With Applications to Assessing Software Reliability Growth and Predicting Software Failures,” . Computer Science and Statistics: Proceedings of the 16th Computer Science and Statistics Symposium on the Interface . pp. 57 – 64 . Amsterdam : North-Holland .
   Google Scholar
• Langberg , N. and Singpurwalla , N. D. “Unification of Some Software Reliability Models,” . SIAM Journal of Scientific Statistical Computing , 6 ( 3 ) (in press)
   Web of Science ®Google Scholar
• Littlewood , B. and Verral , J. L. “A Bayesian Reliability Growth Model for Computer Software,” . Record of the IEEE Symposium on Computer Software Reliability . pp. 70 – 77 . New York : Institute of Electrical and Electronics Engineers .
   Google Scholar
• Meinhold , R. J. and Singpurwalla , N. D. 1983 . “Bayesian Analysis of a Commonly Used Model for Describing Software Failures,” . The Statistician , 32 : 168 – 173 .
   Google Scholar
• Mills , H. D. 1970 . “On the Statistical Validation of Software Programs,” , IBM Corp., Federal Systems Division . unpublished manuscript
   Google Scholar
• Musa , J. D. 1975 . “A Theory of Software Reliability and Its Applications,” . IEEE Transactions on Software Engineering , SE-1 : 312 – 327 .
   Google Scholar
• Politof , T. and Satyanarayana , A. 1984 . “An O(|V|2) Algorithm for a Class of Planar Graphs to Compute the Probability That the Graph Is Connected,” , University of California, Berkeley, Operations Research Center . Technical Report ORC 84–4
   Google Scholar
• Satyanarayana , A. 1982 . “A Unified Formula for the Analysis of Some Network Reliability Problems,” . IEEE Transactions on Reliability , R-31 : 23 – 32 .
   Web of Science ®Google Scholar
• Schick , G. J. and Wolverton , R. W. 1978 . “An Analysis of Competing Software Reliability Models,” . IEEE Transactions on Software Engineering , SE-4 : 104 – 120 .
   Web of Science ®Google Scholar
• Trivedi , K. S. and Geist , R. M. 1981 . “A Tutorial on the CARE III Approach to Reliability Modeling,” , Hampton , VA : NASA-Langley Research Center . Technical Report 3488
   Google Scholar