1. Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers. (2nd December 2019) Authors: Artho, Cyrille; Banzai, Kazuaki; Gros, Quentin; Rousset, Guillaume; Ma, Lei; Kitamura, Takashi; Hagiya, Masami; Tanabe, Yoshinori; Yamamoto, Mitsuharu Other Names: Schieferdecker Ina guestEditor.; Memon Atif guestEditor.; Washizaki Hironori guestEditor. Journal: Software testing, verification & reliability Issue: Volume 30:Number 7/8(2020) Page Start: n/a Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗