Automatic testing technique for services based on formal methods
ZHANG Ying-zhou， FU Wei， ZHANG Wei-feng
Systems Engineering and Electronics . 2013, (12): 2619 -2630 .  DOI: 10.3969/j.issn.1001-506X.2013.12.29