Fuzzing: State of the Art
Synthesizing program input grammars