Directed test generation using symbolic grammars
Generating test data with enhanced context-free grammars