News for hackers. Stuff that matters.

A comment on Effective Property-Based Testing.

Re:Effective Property-Based Testing by hinkley on Wednesday February 03, 2021 @07:41PM (#26021192)
Hypothesis:

Property Based Testing is Monte Carlo simulation for model checking.

[ Parent | on HN ]
Re:Effective Property-Based Testing by zhd on Monday February 08, 2021 @07:22PM (#26072262)
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...

[ Parent | on HN ]