Unit Testing, Property Based Testing.
to find properties that can be validated with a significant number of generated cases from such domain/subdomain. A fair comparison between the three strategies can be resumed in the following table, where the left means brute-force and right means intellectual-force. To make it easier to remember,