TestCaseGenerator fixed