Design and Implementation of a Tool Supporting Contract-based Design for Testability of Components
SHAN Jinhui,JIANG Ying,LIU Jianghong,XIN Guomao,HOU Shanshan
Acta Scientiarum Naturalium Universitatis Pekinensis . 2005, (5): 815 -819 .