diff options
Diffstat (limited to 'pbt/README.md')
| -rw-r--r-- | pbt/README.md | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/pbt/README.md b/pbt/README.md index 786740a..135f770 100644 --- a/pbt/README.md +++ b/pbt/README.md @@ -127,3 +127,15 @@ prop_table_are_matrices (Table rows) = ## Bricoler son framework de PBT Voir [ts](ts/README.md) + +## Shrinking + +* https://hypothesis.works/articles/how-hypothesis-works/ +* https://hypothesis.works/articles/integrated-shrinking/ +* https://github.com/aiken-lang/fuzz/blob/main/lib/aiken/fuzz.ak +* https://github.com/DRMacIver/minithesis/blob/master/minithesis.py + +## Coverage + +* https://stevana.github.io/coverage-guided_property-based_testing.html +* https://lemonidas.github.io/pdf/FuzzChick.pdf |