Toward Effectively Locating Integration-Level Faults in BPEL Programs | IEEE Conference Publication | IEEE Xplore