MetBench: A Numerical Expression Metamorphic Relations Benchmark Data Set. - Yin Zhao; Meng Li; Yongcheng Su; Kailin Zi; Cong Zeng (DSA, 2024)