Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2005/12/01 Vol. E88-DNo. 12pp. 2691-2698 Type of Manuscript: Special Section PAPER (IEICE/IEEE Joint Special Section on Autonomous Decentralized Systems) Category: Keyword: Web services, Web services testing, test case generation, vulnerability, model checking,