Comment by schlich

you might be interested in property-based testing, which somewhat enumerates tests based on invariance and induction