Skip navigation.

Pex 0.5 released

Pex 0.5 released

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