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.
@inproceedings{FletcherS96, title = {A Framework for Testing Object-Oriented Software Using Formal Specifications}, author = {Rohan Fletcher and A. S. M. Sajeev}, year = {1996}, tags = {testing}, researchr = {https://researchr.org/publication/FletcherS96}, cites = {0}, citedby = {0}, pages = {159-170}, booktitle = {Reliable Software Technologies - Ada-Europe 96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings}, editor = {Alfred Strohmeier}, volume = {1088}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-61317-X}, }