Testing object-oriented programs: from formal specification to test scenario generation

• Authors:

• Kai H. Chang;Shih-Sung Liao;Stephen B. Seidman;Richard Chapman

• Affiliations:

• -;-;-;-

• Venue:
• Journal of Systems and Software - Special issue on software engineering and knowledge engineering
• Year:
• 1998