"Application of Model-based Testing on a Quorum-based Distributed Storage."

Rui Wang et al. (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics