Pex: Automated Exploratory Testing for .NET http://research.microsoft.com/Pex/Microsoft Resarchのツール。 手書きのUnitTestコードを実行し、実行パスをモニタリングすることによって条件分岐のポイントを発見し、 そのテストでは通らなかったパスを通…