Comment by tasuki

Not property-based tests. Either way, the human is there to tell the machine what to do: tests are one way of expressing that.