thanks @kfern for this link. it looks amazing. I prefer TestOptimal for usability and GraphWalker for simplicity but sadly it isnโt that usable.
Both tools arenโt maintained regularly. I also like TCases for itโs true sense of modeling the input spaces and getting right cases.