GitHub repository: silentbicycle/theft
Primary language: C
Description: property-based testing for C: generate input to find obscure bugs, then reduce to minimal failing input