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