Samer Hanna Malcolm Munro An Approach for Specification-based Test Case Generation for Web Services. 16-23 2007 conf/aiccsa/2007 AICCSA http://dx.doi.org/10.1109/AICCSA.2007.370859 db/conf/aiccsa/aiccsa2007.html#HannaM07