Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications

Shih-Sung Liao, Kai H. Chang, Stephen B. Seidman, Chun-Yu Chen. Testing Object-Oriented Programs Based on Usage Profiles and Formal Specifications. In SEKE. pages 9-16, 1996.

Abstract

Abstract is missing.