Questions about Property Testing / Stream Data

I like everything about it except the name. At least SOME indication that it’s about property based testing would be nice.