Metamorphic Testing of Code Search Engines. - Zuohua Ding; Qingfen Zhang; Mingyue Jiang (TASE, 2020)