1. Improving lazy abstraction for SCR specifications through constraint relaxation. (15th January 2018) Authors: Degiovanni, Renzo; Ponzio, Pablo; Aguirre, Nazareno; Frias, Marcelo Journal: Software testing, verification & reliability Issue: Volume 28:Number 2(2018) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗