From 8736fba2ab94cd307905585f81f87d4df9eef3e4 Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Mon, 1 Dec 2025 09:08:49 +0100 Subject: more checks on shrinking --- pbt/README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) (limited to 'pbt/README.md') 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 -- cgit v1.3.1