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]
Abstract is missing.