Publication: IEICE TRANSACTIONS on Information and Systems
Publication Date: 2018/12/01
Vol. E101-D
No. 12 ;
pp. 3238-3241
Type of Manuscript:
LETTER
Category: Software System Keyword: static analysis, dataflow analysis, software visualization, code review, independent verification and validation, |