Value-Based Abstraction Functions for Abstraction Sampling | AMiner