introduce TestCaseGenerator