Automatic Conformance Testing of Web Services