Bibliography

1

B. Beizer, Software Testing Techniques.
International Thomson Computer Press, 1990.

2

B. Marick, The craft of software testing.
Prentice Hall, 1994.

3

Y. K. Malaiya and J. A. Denton, ``Estimating the number of residual defects.,'' IEEE High Assurance Systems Engineering Symposium, November 1998.

4

A. P. et al, ``Sensitivity of reliability growth models tooperational profile errors.,'' IEEE Transactions on Reliability, pp. pages 531-540, December. 1996.

5

G. J. Meyers, The art of software testing.
John Wiley & Sons, 1979.

6

B. Boehm, Software Cost Estimation with Cocomo II.
Prentice Hall, 2000.

7

L. Hatton, Safer C: Developing Software for High-integrity and Safety-critical Systems.
McGraw-Hilll Book Company, 1995.