Yujian Fu Zhijiang Dong Gonzalo Argote-Garcia Leyuan Shi Xudong He An Approach to Validating Translation Correctness From SAM to Java. 45- 2007 conf/seke/2007 SEKE db/conf/seke/seke2007.html#FuDASH07