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.

Authors

Rohan Fletcher

This author has not been identified. Look up 'Rohan Fletcher' in Google

A. S. M. Sajeev

This author has not been identified. Look up 'A. S. M. Sajeev' in Google