Generating test case specifications of web service composition using model checking

✍ Scribed by Ling-li Qian; Yi-hai Chen

• Publisher: Chinese Electronic Periodical Services
• Year: 2011
• Tongue: English
• Weight: 208 KB
• Volume: 15
• Category: Article
• ISSN: 1007-6417
• DOI: 10.1007/s11741-011-0760-3