Thread
Stories related to "theft: Property-Based Testing for C" across the full archive.
Property-Based Testing – Testing Assumptions You Don’t Know You’re Making
(spin.atomicobject.com)
It's no QuickCheck, but it's well-written.
This is a short book on using property-based testing (PBT) within Komposition, a screencast editor.
It's based on articles published on https://wickstrom.tech.
Abstract: "We present JQF, a platform for performing coverage-guided fuzz
testing in Java. JQF is designed both for practitioners, who wish to
find bugs in Java programs, as well as for researchers, who wish to
implement new fuzzing algorithms.
Practitioners write QuickCheck-style test methods...