References
- Cox, D. R. and Lewis, P. A. W. (1966). The Statistical Analysis of Series of Events. Methuen & Co. LTD, London.
- Feller, W. (1966). An Introduction to Probability Theory and Its Applications, Vol. II. Wiley, New York.
- Gaver, D. P., Jacobs, P. A., Glazebrook, K. D. and Seglie, E. A. (2003). Probability models for sequential-stage system reliability growth via failure mode removal. International Journal of Reliability, Quality and Safety Engineering, 10 (1), 15–40.
- Gaver, D. P., Jacobs, P. A. and Seglie, E. A. (2001). Stochastic models for promoting and testing system reliability evolution. In Safety & Reliability: ESREL 2001 Towards a Safer World, Vol. 2, (Edited by E. Zio, M. Demichela, N. Piccinini), 1109–1116. Politecnico di Torino.
- Gelman, A., Carlin, J. B., Stern, H. S., Rubin, D. B. (1995). Bayesian Data Analysis. Chapman & Hall, London, UK.
- Gokhale, S. S. and Trivedi, K. S. (1999). A time/structure based software reliability model. Annals of Software Engineering, 8, 85–121.
- Kelly. D. P. and Poore, J. H. (2000). Improving software quality using statistical test techniques. Information and Software Technology, 42 (12), 801–807.
- Lisnianski, A. and Levitin, G. (2003). Multi-state System Reliability. Assessment, Optimization, Applications. World Scientific, New Jersey.
- Liu, Z., Ravishanker, N., and Ray, B. K. (2005). NHPP models for categorized software defects. Applied Stochastic Models in Business and Industry, 21, 509–524.
- Poore, J. H. and Trammell, C. J. (1996). Cleanroom Software Engineering: A Reader. Blackwell Publishers, Oxford, England.
- Prowell, S. J. (2000). {TML}: A description language for {Markov} chain usage models. Information and Software Technology, 42 (12), 835–844.
- Prowell, S. J. (2004). A cost benefit stopping criterion for statistical testing. hicss p. 90304b, Proceedings of the 37th Annual Hawaii International Conference on System Sciences (HICSS’ 04). IEEE Computer Society 1–6.
- Ray, B. K., Liu, Z. and Ravishanker, N. (2006). Dynamic reliability models for software using time-dependent covariates. Technometrics, 46 (1), 1–10.
- Sayre, K. D. and Poore, J. H. (2000). Stopping criteria for statistical testing. Information and Software Technology, 42 (12), 851–857.
- Walton, G. H., Poore, J. H., and Trammel, C. J. (1995). Statistical testing of software based on a usage mode. Software-Practice and Experience, 25 (1), 97–108.