rapid
Rapid is a Go library for property-based testing.https://github.com/flyingmutant/rapid
Rapid checks that properties you define hold for a large number of automatically generated test cases. If a failure is found, rapid automatically minimizes the failing test case before presenting it.