OCL-Based Testing for E-Learning Web Service. - Jin Liu 016; Xiaoming Lu; Xiguang Feng; Jianxun Liu (ICWL Workshops, 2010)