[hinkley]

Hypothesis:

Property Based Testing is Monte Carlo simulation for model checking.

[zhd]

Yep! And it's also possible to run fuzzers [1, 2] or SAT-based verifiers against the same test harness :-)

1: https://hypofuzz.com/docs/literature.html 2: https://google.github.io/oss-fuzz/getting-started/new-projec...