Testing Machine Translation via Referential Transparency | IEEE Conference Publication | IEEE Xplore