WSDL-based automatic test case generation for Web services testing | IEEE Conference Publication | IEEE Xplore