Publication: IEICE TRANSACTIONS on Information and Systems Publication Date: 2014/10/01 Vol. E97-DNo. 10pp. 2676-2684 Type of Manuscript: PAPER Category: Software Engineering Keyword: determinism, data-race detection, alias analysis, static analysis,