1. Specification guidelines to avoid the state space explosion problem. (12th May 2014) Authors: Groote, Jan Friso; Kouters, Tim W.D.M.; Osaiweran, Ammar Journal: Software testing, verification & reliability Issue: Volume 25:Number 1(2015:Jan.) Page Start: 4 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗