Metamorphic testing for Web services: Framework and a case study