An EMF activity tree based BPEL defect pattern testing method | IEEE Conference Publication | IEEE Xplore