Testing intermediate representations for binary analysis. - Soomin Kim 002; Markus Faerevaag; Minkyu Jung; Seungil Jung; DongYeop Oh; JongHyup Lee; Sang Kil Cha (ASE, 2017)