A Framework for Testing Object-Oriented Software Using Formal Specifications

• Authors:

• Rohan Fletcher;A. S. M. Sajeev

• Affiliations:

• -;-

• Venue:
• Ada-Europe '96 Proceedings of the 1996 Ada-Europe International Conference on Reliable Software Technologies
• Year:
• 1996