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]
@inproceedings{HughesBA08,
title = {Client and server verification for web services using interface grammars},
author = {Graham Hughes and Tevfik Bultan and Muath Alkhalaf},
year = {2008},
doi = {10.1145/1390832.1390839},
url = {http://doi.acm.org/10.1145/1390832.1390839},
tags = {web service, web services, grammar},
researchr = {https://researchr.org/publication/HughesBA08},
cites = {0},
citedby = {0},
pages = {40-46},
booktitle = {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},
editor = {Tevfik Bultan and Tao Xie},
publisher = {ACM},
isbn = {978-1-60558-053-1},
}