WS-TAXI: a WSDL-based testing tool for Web Services