testdriven.com Wrangling quality out of chaos

Pex is a project from Microsoft Research that enables *parameterized* unit testing.

Pex generates Unit Tests from hand-written Parameterized Unit Tests through Automated Exploratory Testing based on Dynamic Symbolic Execution.

http://research.microsoft.com/Pex/default.aspx