Add some more documentation
Rename stateful test spec