Test-Data Generation for Web Services Based on Contract Mutation | IEEE Conference Publication | IEEE Xplore