Pex - Automated Exploratory Testing for .NET
Microsoft Research are working on a tool called Pex, which is essentially unit test generation helper tool.
Pex generates Unit Tests from hand-written Parameterized Unit Tests through Automated Exploratory Testing based on Dynamic Symbolic Execution.
• Unit Tests: parameterless methods that test a single unit of code
• Parameterized Unit Tests: same as above, but with parameters
• Automated Exploratory Testing: A tool-supported process of running, learning and testing code at the same time
• Dynamic Symbolic Execution: A combination of static analysis and runtime monitoring to compute test inputs
In addition you can watch the video about it from Channel9.