H-Fuzzing: A New Heuristic Method for Fuzzing Data Generation
Test input generation with java PathFinder