You might appreciate this little series of posts, specifically thought to provide a smooth introduction:

https://arialdomartini.github.io/property-testing