Pexというツールをご存じでしょうか？ PexはMicrosoft Researchが提供しているツールで、学習、研究目的であれば無料で、商用目的であればMSDNのSubscriptionで提供されています。 詳細は、http://research.microsoft.com/en-us/projects/pex/Pexは、.NETの…