Property-Based Testing in Practice.

Harrison Goldstein, Joseph W. Cutler, Daniel Dickstein, Benjamin C. Pierce, Andrew Head

Browse the full ICSE paper archive.