CodeAlchemist: Semantics-Aware Code Generation to Find Vulnerabilities in JavaScript Engines. - HyungSeok Han; DongHyeon Oh; Sang Kil Cha (NDSS, 2019)