Xiangping Chen Gang Huang Hong Mei Towards Automatic Verification of Web-Based SOA Applications. 528-536 2008 APWeb http://dx.doi.org/10.1007/978-3-540-78849-2_53 conf/apweb/2008 db/conf/apweb/apweb2008.html#ChenHM08