High-level testing and example-directed development of software specifications

• Authors:

• Robert L. Probert;Hasan Ural

• Affiliations:

• University of Ottawa, Ontario, Canada;University of Ottawa, Ontario, Canada

• Venue:
• Journal of Systems and Software - Special issue on the fifth Minnowbrook workshop on software performance evaluation
• Year:
• 1984