ViSearch: Weak Consistency Measurement for Replicated Data Types. - Lintian Shi; Yuqi Zhang; Yu Huang 002; Hengfeng Wei; Xiaoxing Ma (CoRR, 2022)