Model-Based API Testing of Apache ZooKeeper | IEEE Conference Publication | IEEE Xplore