From b8d51740ef8236639b7ac1eada6cf1a64750529a Mon Sep 17 00:00:00 2001 From: Arnaud Bailly Date: Sun, 26 Jan 2025 12:25:24 +0100 Subject: Move shared code to library --- pbt/README.md | 1 + 1 file changed, 1 insertion(+) (limited to 'pbt/README.md') diff --git a/pbt/README.md b/pbt/README.md index 4832394..308ebd9 100644 --- a/pbt/README.md +++ b/pbt/README.md @@ -75,3 +75,4 @@ Quelques liens intéressants glanés au fil de mes recherches sur le sujet : * [Using relational problems to teach PBT](https://cs.brown.edu/~tbn/publications/wnk-pj20-pbt.pdf) : une étude sur l'impact de l'apprentissage du PBT (par exemple sur un [tri topologique](https://cs.brown.edu/courses/cs195y/2019/historical/oracle.pdf)) * [Choosing properties for PBT](https://fsharpforfunandprofit.com/posts/property-based-testing-2/) * [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_ -- cgit v1.2.3