Client and server verification for web services using interface grammars.

Graham Hughes, Tevfik Bultan, Muath Alkhalaf

Browse the full ISSTA paper archive.