Directed test generation using symbolic grammars
A System to Generate Test Data and Symbolically Execute Programs