Volume-Based Merge Heuristics for Disjunctive Numeric Domains

Published in International Static Analysis Symposium (SAS), 2018

Recommended citation: Andrew Ruef, Kesha Hietala, Arlen Cox. "Volume-Based Merge Heuristics for Disjunctive Numeric Domains." International Static Analysis Symposium (SAS). 2018.

Direct Link