Spec Explorer for Model-Based Testing in Visual Studioが公開されています。こちら。
こちらは、Brief Descriptionには「VisualStudioのUltimateおよびTeam Suite上で動作するアドインでモデルベーステスト用スペックエクスプローラー」と記載されていますね。
こちらになにやら気になる記事がいろいろと掲載されているようですねー。
http://blogs.msdn.com/SpecExplorer/
ちょっと、あとで読もう。