I emailed kilfour about this but I thought I should mention it here
too.
I have been working on a talk/presentation comparing a couple of
testing approaches using Pex and QuickCheck (in Erlang/Haskell) -
http://scotalt.net/blog/2009/12/04/testing-with-pex-and-quickcheck-7th-january-2010-microsofts-offices-edinburgh/.
I will be giving the talk tomorrow but I just stumbled across QuickNet
today!
I will run through some example code in the talk and give QuickNet
some (well deserved) publicity...