Liu, Huai, Kuo, Fei-Ching, Towey, Dave, Chen, Tsong Yueh, "How effectively does metamorphic testing alleviate the oracle problem?", IEEE Transactions on Software Engineering, 2014