1. Widening with thresholds via binary search. (4th December 2015) Authors: Kim, Sol; Heo, Kihong; Oh, Hakjoo; Yi, Kwangkeun Journal: Software, practice & experience Issue: Volume 46:Number 10(2016) Page Start: 1317 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗