Tue Dec 20 14:10:35 EST 2011

Testing a stateful monster

I'm done with this approach..  Same project as last post, more state
problems.  The thing is also that there really aren't enough seconds
in all of time to write test cases for every possible initial state.

How to turn a stateful program into property based testing in a
systematic way?