Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis
scientific article; zbMATH DE number 6925340