For example, if one observes that f(3.14) == 42, then this could be created as a characterization test.
Assume that observing the result of f(3.14) being 42 indicates the need for a characterization test.