A Model-Based Framework for Cloud API Testing
Model-Based API Testing of Apache ZooKeeper