1. Exhaustive test sets for algebraic specifications. (27th January 2016) Authors: Aiguier, Marc; Arnould, Agnès; Gall, Pascale Le; Longuet, Delphine Journal: Software testing, verification & reliability Issue: Volume 26:Number 4(2016) Page Start: 294 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗