Pex - Automated Whitebox Test Generation for .NETが公開されています。こちら。
Pexはホワイトボックステスト・・・つまり仕様動作かどうかの確認を行うためのテストコードの生成の支援ツールのようですね。
いわゆるテスト駆動開発を行うことでコードカバレッジを上昇させることができるというような説明が書いてあります。
で、どうやらこれを作ったのがMicrosoft Reserach(マイクロソフトの研究機関)でVS2010で開発した・・・というような記述がありますね。
なお、Pexに関する詳細はこちらにもありますのでご参考まで(^^)
むーん、ちょっといじってみないとなぁ・・・。