... Thanks. I know it. Another tool in the same vein is QuickCheck (http://www.cs.chalmers.se/~rjmh/QuickCheck/). Haskell's semantics and decent type system
... Nat, I think you might be interested in the work being done on Theory based testing with regards to this. Theory explorers are particularly interesting in
... This is pretty close to equivalence class partitioning, which is one of the top tools in my arsenal to take the infinite possible number of tests and
... If you replace "it does the job" with "it may do the job" - it other words, it may satisfice - or even - it's far better than nothing - George, I think we