A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL

Huiqun Zhao, Jing Sun, Xiaodong Liu. A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL. In 2012 IEEE Asia-Pacific Services Computing Conference, APSCC 2012, Guilin, China, December 6-8, 2012. pages 61-69, IEEE, 2012. [doi]

Authors

Huiqun Zhao

This author has not been identified. Look up 'Huiqun Zhao' in Google

Jing Sun

This author has not been identified. Look up 'Jing Sun' in Google

Xiaodong Liu

This author has not been identified. It may be one of the following persons: Look up 'Xiaodong Liu' in Google