|
|||||
|
|
Generating test case specifications of web service composition using model checking |
|
| Authors: | Ling-li Qian and Yi-hai Chen |
| Institution: | [1]School of computer Engineering and Science, Shanghai University, Shanghai 200072, P. R. China [2]State Key Laboratory of Software Engineering, Wuhan University, Wuhan 430072, P. R. China |
| Abstract: | |
| Keywords: | |
| 本文献已被 维普 SpringerLink 等数据库收录！ | |