Deity: Finding Deep Rooted Bugs in JavaScript Engines. - Hongyang Lin; Junhu Zhu; Jianshan Peng; Dixia Zhu (ICCT, 2019)