Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2005/12/01
Vol. E88-D
No. 12 ;
pp. 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, |