Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers

Cyrille Artho, Kazuaki Banzai, Quentin Gros, Guillaume Rousset, Lei Ma 0003, Takashi Kitamura, Masami Hagiya, Yoshinori Tanabe, Mitsuharu Yamamoto. Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers. Softw. Test., Verif. Reliab., 30(7-8), 2020. [doi]

Abstract

Abstract is missing.