Jan Stepien, Consulting with INNOQ
A lot of examples about how to perform tests. Despite the fact that little information was provided about how to use this concepts in the large, some very interesting ideas comes to mind.
The idea of stateful testing is very bad. You have to keep track of a lot of different stuff. However, there are some aspects to the idea of generation a list of actions that your code should be complaint with and run this list on top of the code, is very useful.
Don’t write tests! Generate them
Testing the Hard stuff and staying sane
Generate actions changing the state
Apply each action to the state, if possible
After each application verify the model