Model based testing of Apache ZooKeeper: Fundamental API usage and watchers
In this paper, we extend work on model based testing for Apache ZooKeeper, to handle watchers (triggers) and improve scalability. In a distributed asynchronous shared storage like ZooKeeper, watchers deliver notifications on state changes. They are difficult to test because watcher notifications involve an initial action that sets the watcher, followed by another action that changes the previously seen state.
Softw. Test. Verification Reliab.