test cases to be generated