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

Shih-Sung Liao, Kai H. Chang, Stephen B. Seidman, Chun-Yu Chen

Browse the full SEKE paper archive.