Yongyan Zheng Jiong Zhou Paul Krause An Automatic Test Case Generation Framework for Web Services. 64-77 2007 2 JSW 3 http://www.academypublisher.com/jsw/vol02/no03/jsw02036477.html db/journals/jsw/jsw2.html#ZhengZK07