Whole Test Suite Generation
Test input generation with java PathFinder