Pex & Moles - Testing Business Layer

Pex is a tool which helps generate inputs for unit test. Moles is a stub framework used to isolate the unit tests from code which is not being tested. In this post, I will try to describe an attempt to use Pex and Moles to test a typical business layer.