Testing Raft-Replicated Database Systems. - Ding, Guohao; Qian, Weining; Cai, Peng; Pang, Tianze; Zhao, Qiong (2018)