Yaoxuan Wu

me.jpeg

I am a forth-year PhD candidate in Computer Science at UCLA, advised by Prof. Miryung Kim. I obtainedmy B.Sc., Summa Cum Laude in Computer Science from Turing Class, Peking University.

My research interests span database and program testing.

selected publications

  1. FSE 2026 Workshop
    Why Property-Based Testing is Necessary for Data Intensive Scalable Computing
    Yaoxuan Wu, Ingrid Lee, Ahmad Humayun, Muhammad Ali Gulzar, and 1 more author
    ACM FSE 2026 Workshop International Workshop on Data Intensive Software Engineering, 2026
  2. ICPC 2026
    Generating and Understanding Tests via Path-Aware Symbolic Execution with LLMs
    Yaoxuan Wu, Xiaojie Zhou, Ahmad Humayun, Muhammad Ali Gulzar, and 1 more author
    The 34th IEEE/ACM International Conference on Program Comprehension, 2026
    arXiv
  3. FSE 2024
    Natural Symbolic Execution-based Testing for Big Data Analytics
    Yaoxuan Wu, Ahmad Humayun, Muhammad Ali Gulzar, and Miryung Kim
    Proceedings of the ACM on Software Engineering, 2024
    PDF
  4. ASE 2023
    NaturalFuzz: Natural Input Generation for Big Data Analytics
    Ahmad Humayun, Yaoxuan Wu, Miryung Kim, and Muhammad Ali Gulzar
    In 2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE), 2023
    PDF