[javcasas]

Tests check the operation for a single value of the, potentially infinite, input space.

Types check the operation for many, and can be made for all possible input values.

The difference is:

None of these boxes contain bicycles because:

* With tests: we checked 3 of them and found no bicycles

* With types: all the boxes are too small to contain bicycles.