selfeki / program-input-grammar-synthesis Goto Github PK
View Code? Open in Web Editor NEWImplementation of a reasearch paper tool. Given a program, the tool synthesizes a regular expression encoding the language of valid inputs to the program. The tool requires a small set of valid input examples, along with blackbox access to the program.
Home Page: https://trustml.github.io/docs/pldi17.pdf