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