Yongyan Zheng, Jiong Zhou, Paul Krause. A Model Checking based Test Case Generation Framework forWeb Services. In Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2-4 April 2007, Las Vegas, Nevada, USA. pages 715-722, IEEE Computer Society, 2007. [doi]
Abstract is missing.