By specification I meant something declarative (what) as opposed to instructions on how to test stuff (how) :-). I think only QC allows that. On Jun 13, 2007, at 12:33 PM, Ulf Wiger (TN/EAB) wrote: > 3) Erlang QuickCheck (http://www.quviq.com) > -- http://topdog.cc - EasyLanguage to C# translator http://wagerlabs.com - Blog