100 exécutions de tests, c'est un mensonge : comment dimensionner vos tests par propriétés
Les 100 exemples par défaut dans les tests par propriétés sont un compromis social, pas une stratégie statistique. Voici comment choisir un nombre d'exécutions qui correspond à vos besoins de confiance et à votre budget CI.
