We've been experimenting with Pex (Program EXploration) which produces a traditional unit test suite with high code coverage. These generated unit test cases takes parameters, calls the code under test, and states assertions. Essentially, Pex does a white...