Test Case Generation. The key research challenge in generating
effective test cases is that the space of valid programs
that we can generate as test cases is essentially unbounded.
While we could sample from this space, the probability that
these test cases will induce inconsistent behavior is low.