A practical algorithm for learning disjunctive abstraction heuristics in static program analysis

Donghoon Jeon, Minseok Jeon, Hakjoo Oh

Research output: Contribution to journalArticlepeer-review

Fingerprint

Dive into the research topics of 'A practical algorithm for learning disjunctive abstraction heuristics in static program analysis'. Together they form a unique fingerprint.

Engineering & Materials Science