Guilan Dai Xiaoying Bai Yongbo Wang Fengjun Dai Contract-Based Testing for Web Services. 517-526 2007 conf/compsac/2007 COMPSAC (1) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.100 db/conf/compsac/compsac2007-1.html#DaiBWD07