Per visualizzare il file, fai click su questo link: Property-based Testing.pdf