EATBit: Effective automated test for binary translation with high code coverage | IEEE Conference Publication | IEEE Xplore