For example, if one observes that f(3.14) == 42, then this could be created as a characterization test.
For instance, if one notices that f(3.14) == 42, then this could be formulated as a characterization test.