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]

Abstract

Abstract is missing.