Login / Signup
Kazuaki Banzai
Publication Activity (10 Years)
Years Active: 2017-2020
Publications (10 Years): 2
Top Topics
Software Design
Sequence Diagrams
Command Line
Open Source Software
Top Venues
ICST
Softw. Test. Verification Reliab.
</>
Publications
</>
Cyrille Artho
,
Kazuaki Banzai
,
Quentin Gros
,
Guillaume Rousset
,
Lei Ma
,
Takashi Kitamura
,
Masami Hagiya
,
Yoshinori Tanabe
,
Mitsuharu Yamamoto
Model-based testing of Apache ZooKeeper: Fundamental API usage and watchers.
Softw. Test. Verification Reliab.
30 (7-8) (2020)
Cyrille Artho
,
Quentin Gros
,
Guillaume Rousset
,
Kazuaki Banzai
,
Lei Ma
,
Takashi Kitamura
,
Masami Hagiya
,
Yoshinori Tanabe
,
Mitsuharu Yamamoto
Model-Based API Testing of Apache ZooKeeper.
ICST
(2017)