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

Open Webpage

Donghoon Jeon, Minseok Jeon, Hakjoo Oh

Published: 2021, Last Modified: 07 Feb 2026Inf. Softw. Technol. 2021EveryoneRevisionsBibTeXCC BY-SA 4.0