Client and server verification for web services using interface grammars

Graham Hughes, Tevfik Bultan, Muath Alkhalaf. Client and server verification for web services using interface grammars. In Tevfik Bultan, Tao Xie, editors, Proceedings of the 2008 Workshop on Testing, Analysis, and Verification of Web Services and Applications, held in conjunction with the ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2008), TAV-WEB 2008, Seattle, Washington, US. pages 40-46, ACM, 2008. [doi]

Authors

Graham Hughes

This author has not been identified. Look up 'Graham Hughes' in Google

Tevfik Bultan

This author has not been identified. Look up 'Tevfik Bultan' in Google

Muath Alkhalaf

This author has not been identified. Look up 'Muath Alkhalaf' in Google