more test cases and test case design heuristic