I think this is a fair summary. I would hesitate to phase out unit tests, rather supplement them with property based tests. In a library I maintain called bitcoin-s we use them in tandem.
There are two primary concepts in property based testing systems.
The first one is a Generator. The point of a generator is to generate values you want to run ...