Property-based testing (PBT), while an established technique in the soft...
This paper presents Arvada, an algorithm for learning context-free gramm...
Programs expecting structured inputs often consist of both a syntactic
a...
In recent years, fuzz testing has proven itself to be one of the most
ef...