Is XML-Based Test Case Prioritization for Validating WS-BPEL Evolution Effective in Both Average and Adverse Scenarios? | IEEE Conference Publication | IEEE Xplore