Comment by schlich

2 hours ago

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

0 comments