A Safe Regression Test Selection Technique for Web Services | Synapse