Volume-Based Merge Heuristics for Disjunctive Numeric Domains

Andrew Ruef, Kesha Hietala, Arlen Cox. Volume-Based Merge Heuristics for Disjunctive Numeric Domains. In Andreas Podelski, editor, Static Analysis - 25th International Symposium, SAS 2018, Freiburg, Germany, August 29-31, 2018, Proceedings. Volume 11002 of Lecture Notes in Computer Science, pages 383-401, Springer, 2018. [doi]

Abstract

Abstract is missing.