Automated fault localization for service-oriented software systems