You're right, apologies.

Property based testing is mainly focused around testing invariants. It's often used to test pure functions, algorithms, or closed systems to ensure correctness.

Model based testing can include property based testing, but more is a bit more general in scope. In model based testing, the goal is to construct a, possibly simplified or partial, model of a complex system, which is then used to construct test cases.

Fuzzing, in contrast, is a general testing technique that amounts to evaluate a system's stability when it is given incorrect, invalid, or unexpected data. One could use fuzzing as a technique in other larger testing strategies, like property based testing.

Keep in mind all of these terms are somewhat vague and there is no single definition that unifies any particular testing strategy.
spam fails_task lang_mismatch pii not_appropriate hate_speech sexual_content quality toxicity humor helpfulness creativity violence