AMS-Miner: Mining AMS Assertions Using Interval Arithmetic. - Antonio Anastasio Bruto da Costa; Shriya Dharade; Sudipa Mandal; Pallab Dasgupta (VLSID, 2018)