Metamorphic Testing for Web Services: Framework and a Case Study | IEEE Conference Publication | IEEE Xplore