Automatic validation for binary translation. - Jiunn-Yeu Chen; Wuu Yang; Bor-Yeh Shen; Yuan-Jia Li; Wei-Chung Hsu (Comput. Lang. Syst. Struct., 2015)