Effective Message-Sequence Generation for Testing BPEL Programs | IEEE Journals & Magazine | IEEE Xplore