diff options
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_ |