The Cogent Case for Property-Based Testing.

Zilin Chen, Liam O'Connor, Gabriele Keller, Gerwin Klein, Gernot Heiser

Browse the full SOSP paper archive.