{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,15]],"date-time":"2025-12-15T19:52:10Z","timestamp":1765828330097,"version":"3.37.3"},"reference-count":56,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"12","license":[{"start":{"date-parts":[[2023,12,1]],"date-time":"2023-12-01T00:00:00Z","timestamp":1701388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/501100001809","name":"National Natural Science Foundation of China","doi-asserted-by":"publisher","award":["61972403","61802275","62372253"],"award-info":[{"award-number":["61972403","61802275","62372253"]}],"id":[{"id":"10.13039\/501100001809","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CCF-AFSG Research Fund","award":["RF20210031"],"award-info":[{"award-number":["RF20210031"]}]},{"name":"CCF-Huawei Populus Grove Fund","award":["TC2022005"],"award-info":[{"award-number":["TC2022005"]}]},{"name":"Key Laboratory of Safety-Critical Software (Nanjing University of Aeronautics and Astronautics), Ministry of Industry and Information Technology under Open Project","award":["NJ2022027"],"award-info":[{"award-number":["NJ2022027"]}]},{"name":"Natural Science Foundation of Tianjin Fund","award":["3JCYBJC00010"],"award-info":[{"award-number":["3JCYBJC00010"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2023,12]]},"DOI":"10.1109\/tse.2023.3323969","type":"journal-article","created":{"date-parts":[[2023,10,13]],"date-time":"2023-10-13T17:57:21Z","timestamp":1697219841000},"page":"5046-5059","source":"Crossref","is-referenced-by-count":3,"title":["Differential Testing of Machine Translators Based on Compositional Semantics"],"prefix":"10.1109","volume":"49","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8766-7235","authenticated-orcid":false,"given":"Shuang","family":"Liu","sequence":"first","affiliation":[{"name":"School of Information, Renmin University of China, Beijing, P.R. China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7677-6727","authenticated-orcid":false,"given":"Shujie","family":"Dou","sequence":"additional","affiliation":[{"name":"College of Intelligence and Computing, Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3056-9962","authenticated-orcid":false,"given":"Junjie","family":"Chen","sequence":"additional","affiliation":[{"name":"College of Intelligence and Computing, Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-9613-1542","authenticated-orcid":false,"given":"Zhirun","family":"Zhang","sequence":"additional","affiliation":[{"name":"School of New Media and Communication, Tianjin University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0805-6394","authenticated-orcid":false,"given":"Ye","family":"Lu","sequence":"additional","affiliation":[{"name":"College of Cyber Science, Nankai University, Tianjin, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"2022","key":"ref1","article-title":"The Google Translate engine"},{"year":"2022","key":"ref2","article-title":"The Bing Microsoft Translator"},{"article-title":"Ten years of Google Translate","year":"2022","author":"Turovsky","key":"ref3"},{"article-title":"Achieving human parity on automatic Chinese to English news translation","year":"2018","author":"Hassan","key":"ref4"},{"year":"2022","key":"ref5","article-title":"Lost in translation: 13 international marketing fails"},{"year":"2017","key":"ref6","article-title":"Palestinian man is arrested by police after posting \u2018good morning\u2019 in Arabic on Facebook which was wrongly translated as \u2018attack them\u2019"},{"year":"2015","key":"ref7","article-title":"After Google Translates latest update, BBC Culture finds historys biggest language mistakes\u2014including a US president stating \u2018I desire the Poles carnally\u2019.\u201d"},{"article-title":"Strategic insights: Lost in translation","year":"2017","author":"Mason","key":"ref8"},{"key":"ref9","first-page":"129","article-title":"Common error analysis of machine translation output","volume-title":"Proc. 10th China Workshop Mach. Transl.","author":"Zhao","year":"2014"},{"key":"ref10","first-page":"697","article-title":"Error analysis of machine translation output","volume-title":"Proc. Int. Conf. Lang. Resour. Eval.","author":"Vilar","year":"2006"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380339"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678715"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/3368089.3409756"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00047"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380420"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.3115\/1073083.1073135"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/34.682181"},{"article-title":"Googles neural machine translation system: Bridging the gap between human and machine translation","year":"2016","author":"Wu","key":"ref18"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/BF00873280"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1515\/ling.1980.18.3-4.179"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.emnlp-main.552"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/3510003.3510206"},{"year":"2022","key":"ref23","article-title":"The Chinese sentence representation model"},{"year":"2022","key":"ref24","article-title":"Google Cloud Translation"},{"year":"2022","key":"ref25","article-title":"Azure Microsoft Translator"},{"year":"2022","key":"ref26","article-title":"Baidu translator API"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.eacl-main.181"},{"year":"2022","key":"ref28","article-title":"Stanford Parser"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i05.6315"},{"key":"ref30","first-page":"74","article-title":"Rouge: A package for automatic evaluation of summaries","volume-title":"Text Summarization Branches Out","author":"Lin","year":"2004"},{"article-title":"BERT: Pre-training of deep bidirectional transformers for language understanding","year":"2018","author":"Devlin","key":"ref31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/s11704-022-1627-2"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2021.acl-long.393"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-15-5573-2_3"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1007\/BF00763644"},{"article-title":"RoBERTa: A robustly optimized BERT pretraining approach","year":"2019","author":"Liu","key":"ref36"},{"article-title":"HIT IR-lab Tongyici Cilin","year":"2022","author":"Turovsky","key":"ref37"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/P18-2023"},{"year":"2022","key":"ref39","article-title":"Cable news network"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2020.findings-emnlp.147"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/K19-1004"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2022.acl-long.62"},{"article-title":"RoBERTa: A robustly optimized BERT pretraining approach","year":"2019","author":"Liu","key":"ref43"},{"article-title":"Synthetic and natural noise both break neural machine translation","year":"2017","author":"Belinkov","key":"ref44"},{"issue":"1","key":"ref45","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"McKeeman","year":"1998","journal-title":"Digit. Tech. J."},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/3453483.3454054"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE43902.2021.00015"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1145\/2908080.2908095"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1145\/3324884.3416552"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1145\/3460120.3485384"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/3377811.3380363"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/ASE51524.2021.9678792"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1109\/SP40001.2021.00103"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2014.15"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2017.27"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1145\/3236024.3264835"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/10354277\/10285361.pdf?arnumber=10285361","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,12,20]],"date-time":"2023-12-20T01:18:42Z","timestamp":1703035122000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10285361\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,12]]},"references-count":56,"journal-issue":{"issue":"12"},"URL":"https:\/\/doi.org\/10.1109\/tse.2023.3323969","relation":{},"ISSN":["0098-5589","1939-3520","2326-3881"],"issn-type":[{"type":"print","value":"0098-5589"},{"type":"electronic","value":"1939-3520"},{"type":"electronic","value":"2326-3881"}],"subject":[],"published":{"date-parts":[[2023,12]]}}}