机译:使用模型检查生成Web服务组合的测试用例规范
School of Computer Engineering and Science, Shanghai University, Shanghai 200072, P.R.China;
State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, P.R.China;
School of Computer Engineering and Science, Shanghai University, Shanghai 200072, P.R.China;
State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, P.R.China;