Testing basado en propiedades y fuzzing

Ve más allá de los ejemplos elegidos a mano. Especifica invariantes, deja que un generador busque contraejemplos y combina la disciplina con agentes que propongan las propiedades que pasaste por alto.

Parte de: Pruebas de Código para Desarrollo Agéntico