You need 3 assemblies:
Microsoft.Pex.Framework.dll
Microsoft.Stubs.Framework.dll
Microsoft.ExtendedReflection.dll
You will find Microsoft.ExtendedReflection under ProgramFiles\Common Files\Microsoft\ExtendedReflection\<version number>\bin\
Jonathan "Peli" de Halleux -
Give us your input about Pex!