research
∙
07/10/2023
Can Large Language Models Write Good Property-Based Tests?
Property-based testing (PBT), while an established technique in the soft...
share
research
∙
08/30/2021
Learning Highly Recursive Input Grammars
This paper presents Arvada, an algorithm for learning context-free gramm...
research
∙
11/30/2018
Zest: Validity Fuzzing and Parametric Generators for Effective Random Testing
Programs expecting structured inputs often consist of both a syntactic a...
research
∙
09/20/2017