Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis
type: Item
instance of: scholarly article
title: Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis
zbMATH Open document ID: 1425.68069
DOI: 10.1007/978-3-662-53413-7_12
author: Kihong Heo
author: Hakjoo Oh
author: Hongseok Yang
publication date: 2018-08-27T00:00:00Z
Mathematics Subject Classification ID: 68N30
Mathematics Subject Classification ID: 68T05
zbMATH DE Number: 6925340
MaRDI profile type: Publication
OpenAlex ID: W2508075332
description: scientific article; zbMATH DE number 6925340