A Framework for Testing Object-Oriented Software Using Formal Specifications

Rohan Fletcher, A. S. M. Sajeev. A Framework for Testing Object-Oriented Software Using Formal Specifications. In Alfred Strohmeier, editor, Reliable Software Technologies - Ada-Europe 96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings. Volume 1088 of Lecture Notes in Computer Science, pages 159-170, Springer, 1996.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.