Quickcheck testing for fun and profit (2007)

by John Hughes
Venue:In 9th International Symposium on Practical Aspects of Declarative Languages