Quickcheck testing for fun and profit. (2007)

by J Hughes
Venue:In Practical Aspects of Declarative Languages,