Directed test generation using symbolic grammars
Test input generation with java PathFinder