1. QuickChecking static analysis properties. (September 2017) Authors: Midtgaard, Jan; Møller, Anders Other Names: Fraser Gordon guestEditor.; Marinov Darko guestEditor. Journal: Software testing, verification & reliability Issue: Volume 27:Number 6(2017) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗