Graham Hughes Tevfik Bultan Muath Alkhalaf Client and server verification for web services using interface grammars. 40-46 2008 TAV-WEB http://doi.acm.org/10.1145/1390832.1390839 conf/issta/2008t db/conf/issta/tavweb2008.html#HughesBA08