Differential Testing of Machine Translators Based on Compositional Semantics. - Shuang Liu 007; Shujie Dou; Junjie Chen 003; Zhirun Zhang; Ye Lu 004 (IEEE Trans. Software Eng., 2023)