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, |