Learning a Variable-Clustering Strategy for Octagon From Labeled Data Generated by a Static Analysis (23rd Static Analysis Symposium, 2016)

(untitled) - Kihong, H; Hakjoo, O; Yang, H