theft is a a C library for property-based testing: It generates input to stress-test code, and can reduce failures detected to minimal failing input.