Similar kinds of tools have been developed for Erlang, etc. Seems to
be useful for Java and other languages as well. I've not tried it yet,
but plan to.
One thing to note - I don't see these xCheck tools as replacements for
TDD and unit tests per se. Rather they are an addition to them, and
are more of a functional test tool. But I've not used any of the
xChecks for more than kicking the tires so far.