I do.

I implemented a specialized json-patch and tested it with gopter.

My colleague implemented an equivalent of `openssl passwd` in go and used gopter to test it (comparing outputs between his implementation and what openssl returns).

Needless to say, gopter found subtle bugs in both cases.

I came to property-testing from PropEr (erlang), and was pleasantly surprised how well gopter worked for us.