References

1

H. YIN AND J.M. BIEMAN. Improving software testability with assertion insertion. In Proc. of International Test Conference, pages 831--839, October 1994.

2

M. BLUM. Designing Programs To Check Their Work. Technical report, University of California at Berkley, December 1988.

3

L. OSTERWEIL AND L. CLARKE. A Proposed Testing and Analysis Research Initiative. IEEE Software, pages 89--96, September 1992.

4

RELIABLE SOFTWARE TECHNOLOGIES CORPORATION. Testability of Object-Oriented Systems. Technical report, June 1995. NIST Report GCR 95-675, National Institute of Standards and Technology.

5

D. LUCKHAM AND F. VON HENKE. An overview of ANNA, a specification language for Ada. IEEE Software, pages 9--22, March 1985.

6

C. A. R. HOARE. An axiomatic basis for computer programming. CACM, October 1969.

7

B. MEYER. Eiffel the Language. Prentice-Hall, 1992.

8

J. VOAS AND K. MILLER. Software Testability: The New Verification. IEEE Software, 12(3):17--28, May 1995.

9

P. NAUR. Proof of algorithms by general snapshots. BIT, 6(4):310--316, 1966.

10

R. A. DEMILLO AND A. J. OFFUTT. Constraint-based automatic test data generation. IEEE Transactions on Software Engineering, 17(9):900--910, September 1991.

11

D. J. RICHARDSON, S. L. AHA, AND T. O. O'MALLEY. Specification-based test oracles for reactive systems. In Proceedings of the 14th International Conference on Software Engineering, May 1992.

12

D. ROSENBLUM. Towards a method of programming with assertions. In Proceedings of the 14th International Conference on Software Engineering, pages 92--104, May 1992.

13

R. RUBINFELD. A mathematical theory of self-checking, self-testing, and self-correcting programs. Technical Report TR-90-054, Int. Computer Science Institute, October 1990.

14

E. J. WEYUKER. Axiomatizing software test data adequacy. IEEE Trans. on Software Engineering, 12(12):1128--1137, December 1986.

15

J.M. BIEMAN AND H. YIN. Designing for software testability using automated oracles. In Proc. of International Test Conference, pages 900--907, September 1992.