Есть довольно много видео Channel 9 , которые объясняют, как работает Pex, но я бы посмотрел на этот первый. Многие эпизоды The Verification Corner также затрагивают концепции, даже если они не говорят об этом прямо.
Николай Тилльманн ответил на тот же вопрос на форумах Pex: http://social.msdn.microsoft.com/Forums/en-US/pex/thread/71c90936-b3af-4d90-af87-f6ecba797cb7