Finished TestCaseGenerator