Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/05/01 Vol. E97-DNo. 5pp. 1109-1118 Type of Manuscript: Special Section PAPER (Special Section on Knowledge-Based Software Engineering) Category: Keyword: software testing, scenario generation, knowledge-based engineering, Web applications,