Learning a Variable-Clustering Strategy for Octagon from Labeled Data Generated by a Static Analysis.

Kihong Heo, Hakjoo Oh, Hongseok Yang

Browse the full SAS paper archive.