* More closely encodes the behavior you want the code to have
* More likely to find weird edge cases where some input does something unexpected
* Less work to get greater coverage
* More closely encodes the behavior you want the code to have
* More likely to find weird edge cases where some input does something unexpected
* Less work to get greater coverage