A pragmatic approach to property based testing.

For questions, problems, solutions, etc ... : http://groups.google.com/group/quicknet

See http://kilfour.wordpress.com/2009/11/02/logging-in/ for an example of use, and http://kilfour.wordpress.com/2009/12/12/the-murder-mistery/ for a less academic 'real-world' example.

The difference between quicknet and other QuickCheck based testing frameworks is best expressed by the following line :

QuickNet is all about state and side-effects, because C# is all about state and side-effects.