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