玩玩这个: http://www.pexforfun.com/
读到这篇文章 http://research.microsoft.com/en-us/projects/pex/ 的时候，觉得 Pex 还挺酷的～ 可惜现在主要做的是 PHP 项目～
