Specification-based Testing of Ada Units with Low Encapsulation

• Authors:

• A. Reyes;D. Richardson

• Affiliations:

• -;-

• Venue:
• ASE '98 Proceedings of the 13th IEEE international conference on Automated software engineering
• Year:
• 1998