Model-based Testing of the Java Network API
Artho, Cyrille, Rousset, Guillaume
Published in Electronic proceedings in theoretical computer science (20.03.2017)
Published in Electronic proceedings in theoretical computer science (20.03.2017)
Get full text
Journal Article
Model‐based testing of Apache ZooKeeper: Fundamental API usage and watchers
Artho, Cyrille, Banzai, Kazuaki, Gros, Quentin, Rousset, Guillaume, Ma, Lei, Kitamura, Takashi, Hagiya, Masami, Tanabe, Yoshinori, Yamamoto, Mitsuharu
Published in Software testing, verification & reliability (01.11.2020)
Published in Software testing, verification & reliability (01.11.2020)
Get full text
Journal Article