test cases generated