EATBit: Effective automated test for binary translation with high code coverage.

Hui Guo, Zhenjiang Wang, Chenggang Wu, Ruining He

Browse the full DATE paper archive.