Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2015/07/01
Vol. E98-D
No. 7 ;
pp. 1297-1305
Type of Manuscript:
PAPER
Category: Software Engineering Keyword: model-based testing, GUI testing, event sequence graphs, multi terminal binary decision diagrams, |