377 citations · 523 across the 4 of their papers we have counts for
4 papers
Can Large Language Models Write Good Property-Based Tests?
Vasudev Vikram, Caroline Lemieux, Joshua Sunshine +1
Property-based testing (PBT), while an established technique in the software testing research community, is still relatively underused in real-world software. Pain points in writin…
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…
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…
FairFuzz: Targeting Rare Branches to Rapidly Increase Greybox Fuzz Testing Coverage
Caroline Lemieux, Koushik Sen
In recent years, fuzz testing has proven itself to be one of the most effective techniques for finding correctness bugs and security vulnerabilities in practice. One particular fuz…