Statistical Certification of Software Systems

References

• Benkherouf , L. , Bather , J. A. ( 1988 ). Oil exploration: sequential decisions in the face of uncertainty . J. Appl. Probab. 25 ( 3 ): 529 – 543 .
   Web of Science ®Google Scholar
• Berge , C. ( 1971 ). Principles of Combinatorics . Translated from the French. Mathematics in Science and Engineering, Vol. 72 . New York : Academic Press .
   Google Scholar
• Chun , Y. H. ( 2006 ). Estimating the number of undetected software errors via the correlated capture recapture model . Eur. J. Oper. Res. 175 ( 2 ): 1180 – 1192 .
   Web of Science ®Google Scholar
• Gokhale , S. S. , Lyu , M. R. , Trivedi , K. S. ( 2006 ). Incorporating fault debugging activities into software reliability models: A simulation approach . IEEE Trans. Rel. 55 ( 2 ): 281 – 292 .
   Web of Science ®Google Scholar
• Grimmett , G. R. , Stirzaker , D. R. ( 1992 ). Probability and Random Processes. , 2nd ed. New York : The Clarendon Press Oxford University Press .
   Google Scholar
• Huang , C.-Y. ( 2005 ). Cost-reliability-optimal release policy for software reliability models incorpo- rating improvements in testing efficiency . J. Syst. Software 77 ( 2 ): 139 – 155 .
   Web of Science ®Google Scholar
• Huang , C.-Y. , Lyu , M. R. ( 2005 ). Optimal release time for software systems considering cost, testing-effort, and test efficiency . IEEE Trans. Reliab. 54 ( 4 ): 583 – 591 .
   Web of Science ®Google Scholar
• Jeske , D. R. , Zhang , X. ( 2005 ). Some successful approaches to software reliability modeling in industry . J. Syst. Software 74 ( 1 ): 85 – 99 .
   Web of Science ®Google Scholar
• Joe , H. , Reid , N. ( 1985 ). Estimating the number of faults in a system . J. Amer. Stat. Assoc. 80 ( 389 ): 222 – 226 .
   Web of Science ®Google Scholar
• Mitrinović , D. S. , Pečarić , J. E. , Fink , A. M. ( 1993 ). Classical and New Inequalities in Analysis . Volume 61 of Mathematics and Its Applications (East European Series) . Dordrecht : Kluwer Academic Publishers Group .
   Google Scholar
• Morali , N. , Soyer , R. ( 2003 ). Optimal stopping in software testing . Nav. Res. Logist. 50 ( 1 ): 88 – 104 .
   Web of Science ®Google Scholar
• Moranda , P. B. ( 1979 ). Event altered rate models for general reliability analysis . IEEE Trans. Reliab. R-28 ( 5 ): 376 – 381 .
   Web of Science ®Google Scholar
• Pham , H. ( 2003 ). Software reliability and cost models: perspectives, comparison, and practice . Eur. J. Oper. Res. 149 ( 3 ): 475 – 489 .
   Web of Science ®Google Scholar
• Rallis , N. E. , Lansdowne , Z. F. (2001). Reliability estimation for a software system with sequential independent reviews. IEEE Trans. Software Eng. 27(12):1057–1061.
   Web of Science ®Google Scholar
• Rawlings , D. ( 2001 ). Sequential searches: proofreading, Russian roulette, and the incomplete q-Eulerian polynomials revisited . Amer. Math. Monthly 108 ( 8 ): 713 – 720 .
   Web of Science ®Google Scholar
• Teng , X. , Pham , H. ( 2006 ). A new methodology for predicting software reliability in the random field environments . IEEE Trans. Reliab. 55 ( 3 ): 458 – 468 .
   Web of Science ®Google Scholar
• Wang , W.-L. , Pan , D. , Chen , M.-H. ( 2006 ). Architecture-based software reliability modeling . J. Syst. Software 79 : 132 – 146 .
   Web of Science ®Google Scholar