Ahh! So with random inputs(from a pre-defined range) you can assert about properties of the result (if you find some), because you limited your input range.
Exact results still have to be created manually or automatically (randomly) created and the result manually checked once.
Exact results still have to be created manually or automatically (randomly) created and the result manually checked once.