diff options
| author | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-12-01 09:08:49 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud@pankzsoft.com> | 2025-12-01 09:08:49 +0100 |
| commit | 8736fba2ab94cd307905585f81f87d4df9eef3e4 (patch) | |
| tree | 39afadbf91b807f385c8f0be64a1b08fb208f23a /pbt/README.md | |
| parent | a8c27de3f4434d8a08e953b95b47a4161f9473ed (diff) | |
| download | lambda-nantes-8736fba2ab94cd307905585f81f87d4df9eef3e4.tar.gz | |
more checks on shrinking
Diffstat (limited to 'pbt/README.md')
| -rw-r--r-- | pbt/README.md | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pbt/README.md b/pbt/README.md index 3fcafa0..786740a 100644 --- a/pbt/README.md +++ b/pbt/README.md @@ -77,7 +77,8 @@ Quelques liens intéressants glanés au fil de mes recherches sur le sujet : * [PBT in practice](https://harrisongoldste.in/papers/icse24-pbt-in-practice.pdf): une étude à base d'entretiens sur l'efficacité _en pratique_ du PBT * [Integrated vs. type-based shrinking](https://hypothesis.works/articles/integrated-shrinking/) : un post du créateur d'[hypothesis](https://hypothesis.works), outil de PBT en Python, justifiant la _minimisation intégrée_ * Une [présentation](https://slides.com/ktorz/deck-7b00fc) sur le PBT de Matthias Benkort aka. [KtorZ](https://x.com/_KtorZ_) - +* [Un article](https://seelengrab.github.io/articles/The%20properties%20of%20QuickCheck,%20Hedgehog%20and%20Hypothesis/) comparant QC, Hedgehog et Hypothesis +* Projet de recherche sur le [test aléatoire](https://plum-umd.github.io/projects/random-testing.html) ## Un exemple en Haskell |