This tool is a greate test generation tool, i have seen it way before, but it was just released . it was written by a very talented guy called de halleux . i believe he is from Belgium . he is the same guy who wrote the initial MBunit testing framework for .net .
This tool is highly recommended....check it out : http://research.microsoft.com/pex/