Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis

DOI10.1007/978-3-662-53413-7_12zbMath1425.68069OpenAlexW2508075332MaRDI QIDQ1664389

Hakjoo Oh, Kihong Heo, Hongseok Yang

Publication date: 27 August 2018

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:7833ab8d-b7b8-4287-811a-bf421b361f7c

Mathematics Subject Classification ID

Learning and adaptive systems in artificial intelligence (68T05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (3)

Compact Difference Bound Matrices ⋮ Memory-efficient fixpoint computation ⋮ Incrementally closing octagons

This page was built for publication: Learning a variable-clustering strategy for Octagon from labeled data generated by a static analysis