CATE for a Property-based testing
We will see the difference between integrated and isolated tests. Theory and code.