Test case generation.