7 citations · 13 across the 9 of their papers we have counts for
1 paper · 1 filter
Osbert Bastani, Rahul Sharma, Alex Aiken +1
We present an algorithm for synthesizing a context-free grammar encoding the language of valid program inputs from a set of input examples and blackbox access to the program. Our a…