Heuristic-guided abstraction refinement - Gu, Ming.; He, Fei.; Song, Xiaoyu.; Sun, Jiaguang.