2 papers
cs.SE2021
Learning Highly Recursive Input Grammars
Neil Kulkarni, Caroline Lemieux, Koushik Sen
This paper presents Arvada, an algorithm for learning context-free grammars from a set of positive examples and a Boolean-valued oracle. Arvada learns a context-free grammar by bui…
cs.SE2018
Semantic Fuzzing with Zest
Rohan Padhye, Caroline Lemieux, Koushik Sen +2
Programs expecting structured inputs often consist of both a syntactic analysis stage, which parses raw input, and a semantic analysis stage, which conducts checks on the parsed in…