Testes Baseados em Propriedades & Fuzzing

Vá além dos exemplos manuais. Especifique invariantes, deixe um gerador caçar contraexemplos, e combine essa disciplina com agentes que propõem as propriedades que você deixou passar.

Parte de: Testes de Código para Desenvolvimento Agêntico