Master Chief Peli has two samples showing Pex in action, one is a short intro to parameterized testing and the other shows a refactor of the NUnit bank sample to Pex. More to come so stayed tuned...
Pingback from Microsoft Research Pex « ???