TestCaseGenerator refactoring.