中文
n Approach to Generating Integration Test Case Based on Object-Z Specification
ZHU Yi-yi1,MIAO Huai-kou1,2,TANG Xin-xiang1
Journal of Shanghai University（Natural Science Edition） . 2009, (1): 60 -65 .