Publisher
Springer Berlin Heidelberg
Reference11 articles.
1. J. Musa, “Operational profiles in software-reliability engineering,” IEEE Software, pp. 14–32, March 1993.
2. J. May, G. Hughes, and A. Lunn, “Reliability estimation from appropriate testing of plant protection software,” Software Engineering Journal, pp. 206–218, 1995.
3. J. Duran and J. Wiorkowski, “Quantifying software validity by sampling,” IEEE Software Reliability, vol. R-29,no. 2, pp. 141–144, 1980.
4. W. Ehrenberger, “Probabilistic techniques for software verification,” paper produced for the IAEA Technical Committee Meeting on Safety Implications of Computerised Process Control in Nuclear Power Plants, Vienna Austria, vol. November, 1989.
5. K. Miller, L. Morell, R. E. Noonan, S.K. Park, and D. Nicol, “Estimating the probability of failure when testing reveals no failures,” IEEE Transactions on Software Engineering, vol. 10,no. 2, pp. 33–43, 1992.