Automated unit tests for legacy code with Pex. - Sachdeva, Nikhil (MSDN magazine)