Mitsuharu Yamamoto

Model-Based API Testing of Apache ZooKeeper

Cyrille Artho, Quentin Gros, Guillaume Rousset et al. · 2017 · 29 citations

Computing, Computer Science, Computer Systems +17

Modular Software Model Checking for Distributed Systems

Watcharin Leungwattanakit, Cyrille Artho, Masami Hagiya et al. · IEEE Transactions on Software Engineering · 2013 · 24 citations · Full text

Computing, Computer Engineering, Computer Science +15

Cache-Based Model Checking of Networked Applications: From Linear to Branching Time

Cyrille Artho, Watcharin Leungwattanakit, Masami Hagiya et al. · 2009 · 23 citations · Full text

Computing, Computer Engineering, Computer Science +15

Software model checking for distributed systems with selector-based, non-blocking communication

Cyrille Artho, Masami Hagiya, Richard Potter et al. · 2013 · 22 citations · Full text

Computing, Computer Science, Computer Systems +11