Defect Analysis Respecting Dead Path Elimination in BPEL Process | IEEE Conference Publication | IEEE Xplore