Comment by boxed

Property Based Testing and Mutation Testing is much better than trying to come up with examples by thinking hard.