Test case prioritization for regression testing of service-oriented business applications