… successfully synthesizes input grammars for real programs, which can be used to fuzz test
those programs. In particular, GLADE automatically synthesizes a program input grammar, …

… Given that the Grep grammar is far from the actual input grammar of Grep binary, we use
Grep from now on to indicate that it is not the true grammar. Similarly, GLADE-I uses a relaxed …

… forward to learn complex programs from input-output examples only. In particular, we
propose a novel class of grammar induction problems to learn a parser from the input-tree pairs. …

… a skeleton (grammar) of the space of possible programs in … the synthesized program may
be hidden from the user. However, when the user intends to execute the synthesized program …

… Program Aliasing: the fact that many different programs may … specifications such as a few
input-output examples). By … reference program, it penalizes many semantically correct programs…

… programs are mapped into a BNF grammar. In this paper, we would like to assess the
potential for G3P to evolve programs … sources to a program that fits BNF grammar. Through our …

… synthesize the desired program. In this paper, we address the problem of synthesizing programs
… are well defined in terms of the DSL grammar and type system (otherwise we return the …

… We propose REINAM, a novel framework that uses reinforcement learning to synthesize
program input grammars. In particular, REINAM improves over existing approaches by retaining …

… Using the input grammar as a producer, we can synthesize valid and diverse input data
automatically and thus obtain as many input-output pairs from the PUT as we want. Additionally, …

… deriving program inverses used proof-based [16] or grammar… for synthesis of bitvector programs
indicate that the number of … to the number of instructions in the synthesized program [33]. …