Zenghui Zhou, Pak-Lok Poon, Zheng Zheng, Xiao-Yi Zhang: PSALM: applying Proportional SAmpLing strategy in Metamorphic testing. CoRR abs/2512.13414 (2025)