English
Z规格说明的测试用例自动生成
朱彬, 缪淮扣, 王娜
Automatic Generation and Evaluation of Test Case Based on Z Specifications
ZHU Bing, MIAO Huai-kou, WANG Na
应用科学学报 . 2006, (4): 377 -381 .