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) ↗
2. Model‐based testing for concurrent systems with labelled event structures. (21st August 2014) Authors: de León, Hernán Ponce; Haar, Stefan; Longuet, Delphine; Brucker, Achim D.; Julliand, Jacques Journal: Software testing, verification & reliability Issue: Volume 24:Number 7(2014) Page Start: 558 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗