Nikolai shows us how the ResourceReader can be tested with Pex
Nikolai Tillmann has a great post on how to test the ResourceReader with Pex.
I have also been playing with some more advanced examples and as soon as I feel comfortable with them I'll post them here.