Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2010/07/01 Vol. E93-DNo. 7pp. 1857-1865 Type of Manuscript: PAPER Category: Information Network Keyword: false path,
high level testing,
path mapping,
functional equivalence,
