Reducing Software Security Risk Through An Integrated Approach
Summary capacities research center on ict citic (Spain)
Property-Based Testing A Silver Bullet? John Hughes December 2009.
Software Testing with QuickCheck Lecture 1 Properties and Generators.
I Dream of Gen'ning: ScalaCheck is Black Magic
Reducing Software Security Risk Through an Integrated Approach