Multi-objective Optimization Regression Verification for Multi-core Cache Coherence Protocol. - Li Luo; Ying Zhang 032; Hongjun He; Lei Wang 011; Chanzqing Xun; Guoteng Pan; Junbo Tie; Huili Hu (HPCC/DSS/SmartCity/DependSys, 2021)