Los Property-Based Tests en Rust Encuentran los Bugs que tus Unit Tests No Detectan
El example-based testing solo cubre los inputs que se te ocurrieron. El property-based testing genera datos aleatorios, verifica invariantes y reduce los fallos a contraejemplos mínimos mediante shrinking.