This practice usually provides a high return on investment.
The principle costs are developing a model of the behavior of the unit under test and the initial costs of a tool or specialized software for test generation from the model. In return, the following can be automated:
Generate an effective test suite
Execute the test suite against the unit under test
Compare expected to actual results, flagging unexpected results