Property Tests and Contracts = Integration Tests | Hacker News Reader