Les tests par exemples ratent les bords. Le property-based testing inverse l'approche. Je montre six patterns utiles, le stateful PBT pour les bugs de séquence, et pourquoi ce sujet se prête bien à un usage assisté par IA.
Oracle
Example-based tests miss the edges. Property-based testing flips the approach. I show six useful patterns, stateful PBT for sequence bugs, and why this topic is well-suited for AI-assisted use.