Generating Interface Grammars from WSDL for Automated Verification of Web Services.

Sylvain Hall, Graham Hughes, Tevfik Bultan, Muath Alkhalaf

Browse the full ICSOC paper archive.