Contract-Based Testing for Web Services. - Guilan Dai; Xiaoying Bai; Yongbo Wang; Fengjun Dai (COMPSAC (1), 2007)