Web Services Testing Based on Stream X-machine. - Ma, Chunyan; Wu, JunSheng; Zhang, Tao; Hu, Fei (2010)