Pex アカデミック版でも Visual Studio で動くそうです。

かやStyle こちらのサイトで紹介されています。

Pex and Moles - Downloads - Microsoft Research Academic Release for non-commercial use only. より引用

Pex comes with a Visual Studio Add-in and samples which will only work if you have Visual Studio 2010 Professional (or higher) or Visual Studio 2008 Professional (or higher). 

アカデミック版でも、Professional 以上なら使えると書かれていました。

見落としてました、情報ありがとうございます〜。