Instead of fixed examples you state a property (for example, reversing twice gives the original) and the tool generates many random inputs to look for a counterexample. Go has testing/quick and the library rapid.