Propety Based Testing

I've discovered a video that talks about tdd and the talker spoke about property based testing. In this moment I didn't know about it, but googling I've found a good explanation here