NaturalFuzz: Natural Input Generation for Big Data Analytics. - Ahmad Humayun; Yaoxuan Wu; Miryung Kim; Muhammad Ali Gulzar (ASE, 2023)

PELICAN: Exploiting Backdoors of Naturally Trained Deep Learning Models In Binary Code Analysis. - Zhuo Zhang 002; Guanhong Tao 001; Guangyu Shen; Shengwei An; Qiuling Xu; Yingqi Liu; Yapeng Ye; Yaoxuan Wu; Xiangyu Zhang 001 (USENIX Security Symposium, 2023)

Natural Symbolic Execution-Based Testing for Big Data Analytics. - Yaoxuan Wu; Ahmad Humayun; Muhammad Ali Gulzar; Miryung Kim (Proc. ACM Softw. Eng., 2024)

Generating and Understanding Tests via Path-Aware Symbolic Execution with LLMs. - Yaoxuan Wu; Xiaojie Zhou; Ahmad Humayun; Muhammad Ali Gulzar; Miryung Kim (CoRR, 2025)