Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.
Cyrille ArthoKazuaki BanzaiQuentin GrosGuillaume RoussetLei MaTakashi KitamuraMasami HagiyaYoshinori TanabeMitsuharu YamamotoPublished in: Softw. Test. Verification Reliab. (2020)