Aiming at supporting web service interoperation, we have formalized the QoSA of input and output parameters. Based on such formalism, test cases are automatically generated to validate service ...