L'importance des tests unitaires n'est plus à démontrer. Ils nous rassurent sur notre implémentation, sécurisent chaque remaniement de notre code et nous préviennent de potentielles régressions. Cependant, sont-ils suffisants ? Peut-on se satisfaire de la rédaction de tests basés sur des exemples délibérément choisis par le développeur ? Qu'en est-il des autres cas ? Entre non-exhaustivité et explosion combinatoire, nous nous pencherons sur certaines de leurs limites et découvrirons une autre méthode de testing axée sur le comportement du code, à savoir le *Property-based Testing*.