Web Services Testing via Goal and Mutation | IEEE Conference Publication | IEEE Xplore