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.