Testing and Verifying Web Services