next up previous
Next: 7 Biography Up: Testing Formal Methods Previous: Acknowledgements

References

1
B. BEIZER.
Cleanroom process model: A critical examination.
IEEE Software, 14(2):14-16, March 1997.

2
J. VOAS, F. CHARRON, G. MCGRAW, K. MILLER, AND M. FRIEDMAN.
Predicting How Badly `Good' Software can Behave.
IEEE Software, 14(4):73-83, July 1997.

3
J. VOAS, G. MCGRAW, L. KASSAB AND L. VOAS.
A Crystal Ball for Software Liability.
IEEE Computer, 30(6):29-36, June 1997.



Jeffrey M. Voas
Sep. 12 1997