EXAMINER: automatically locating inconsistent instructions between real devices and CPU emulators for ARM.

Muhui Jiang, Tianyi Xu, Yajin Zhou, Yufeng Hu, Ming Zhong, Lei Wu, Xiapu Luo, Kui Ren

Browse the full ASPLOS paper archive.