Property Tests and Contracts = Integration Tests · HackerTrans