One thing I like about property-based testing is that sometimes writing a test suite that verifies the complete correctness of a system can be quite onerous or may be quite fragile and thus be expensive to maintain but instead I can assert just some key properties that are easy to verify, for example that a returned string matches a regex. It won't guarantee that the system continues to behave correctly, but it gives some confidence at very little cost.