A Preliminary Study on BPEL Process Testability | IEEE Conference Publication | IEEE Xplore