A Model Checking Based Approach to Automatic Test Suite Generation for Testing Web Services and BPEL | IEEE Conference Publication | IEEE Xplore