TestCase generation.