Tools for TestCase Generating