Mutant reduction evaluation: what is there and what is missing? - Peng Zhang 083; Yang Wang 165; Xutong Liu; Yanhui Li; Yibao Yang; Ziyuan Wang 001; Xiaoyu Zhou; Lin Chen 015; Yuming Zhou (CoRR, 2021)