Kihong Heo, Hakjoo Oh, Kwangkeun Yi. Selective conjunction of context-sensitivity and octagon domain toward scalable and precise global static analysis. Software: Practice and Experience, 47(11):1677-1705, 2017. [doi]
No references recorded for this publication.
No citations of this publication recorded.