An automated approach to robustness testing of BPEL orchestrations | IEEE Conference Publication | IEEE Xplore