Generating Inputs for Grammar Mining using Dynamic Symbolic Execution

Andreas Pointner, Josef Pichler, Herbert Prähofer

A vast number of software systems include components that parse and process structured input. In addition to programming languages, which are analyzed by compilers or interpreters,…