diff options
| author | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-26 12:25:24 +0100 |
|---|---|---|
| committer | Arnaud Bailly <arnaud.bailly@iohk.io> | 2025-01-26 12:25:24 +0100 |
| commit | b8d51740ef8236639b7ac1eada6cf1a64750529a (patch) | |
| tree | 7fb3b678479f9da10b3eee81fef679525e75f323 /pbt/README.md | |
| parent | cc78d5d55b6e1a941b4f4d99c28e35f1363dbcab (diff) | |
| download | lambda-nantes-b8d51740ef8236639b7ac1eada6cf1a64750529a.tar.gz | |
Move shared code to library
Diffstat (limited to 'pbt/README.md')
| -rw-r--r-- | pbt/README.md | 1 |
1 files changed, 1 insertions, 0 deletions
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_ |