An Empirical Study of the Use of Frankl-Weyuker Data Flow Testing Criteria to Test BPEL Web Services | IEEE Conference Publication | IEEE Xplore