me.jpg

Miao Miao

Department of Computer Science

The University of Texas at Dallas

I am a fourth-year Ph.D. student at the University of Texas at Dallas, advised by Dr. Shiyi Wei.

My research advances cybersecurity and software engineering through systematic evaluation, explainable analysis, and AI-driven techniques, with a focus on understanding why testing and analysis tools succeed or fail. On the fuzzing side, I develop feature-based benchmarks, investigate root causes of coverage bottlenecks, and build interactive visualization frameworks to make fuzzer behavior interpretable. On the static analysis side, I study nondeterministic behavior and use repository mining to understand recurring development challenges. My long-term goal is to build intelligent, adaptive frameworks that diagnose tool limitations and ultimately produce more secure software.

Download my CV here.

News

Sep 15, 2026 Our paper “Towards the Automated Identification of Data Constraints in Software Documents” accepted by Requirements Engineering (RE) 2026.
Jun 30, 2026 Served on artifact evaluation committee for ASE 2026.
May 17, 2026 Served on artifact evaluation committee for ISSTA 2026.
Apr 22, 2026 Honored to be invited to the ACM Student Research Competition Grand Finals, 2025–2026!
Mar 17, 2026 Our paper “Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study” accepted by SANER 2026!
Nov 16, 2025 Our paper “SeedUI: Understanding Initial Seeds in Fuzzing” accepted by ASEW 2025!
Jul 15, 2025 Served as a shadow PC member for ICSE 2026.
Jul 01, 2025 Thrill to share that UT Dallas News featured my first-place win at the ICSE 2025 ACM Student Research Competition! 🎉 Link
May 20, 2025 Served on artifact evaluation committee for ISSTA 2025.
May 10, 2025 Our paper “Visualization Task Taxonomy to Understand the Fuzzing Internals” accepted by TOSEM 2025.
May 01, 2025 My work “Program Feature-based Fuzzing Benchmarking” won the 1st place in ICSE 2025 ACM Student Research Competition!
Apr 30, 2025 I presented our work “An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools” at ICSE 2025, Ottawa!
Apr 25, 2025 Served on artifact evaluation committee for PLDI 2025.
Apr 20, 2025 Received the Mary and Richard Templeton Graduate Fellowship for 2025-2026!
Mar 01, 2025 My work “Program Feature-based Benchmarking for Fuzz Testing” accepted by ISSTA 2025!
Dec 15, 2024 Received the ACM SIGSOFT CAPS Travel Award for ICSE 2025!
Dec 01, 2024 Served as a junior PC member for MSR 2025.
Nov 01, 2024 My work “An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools” accepted by ICSE 2025!

Publications

  1. Towards the Automated Identification of Data Constraints in Software Documents
    Ying Zhou, Miao Miao, Vlad Birsan, Oscar Chaparro, Shiyi Wei, Andrian Marcus
    Requirements Engineering, 2026
    [paper][pdf]

  2. Static Analysis Traces can Help Dynamic Symbolic Execution: a Replication Study
    Sriteja Kummita, Fabian Schiebel, Eric Bodden, Miao Miao, Shiyi Wei
    2026 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2026
    [paper][pdf]

  3. SeedUI: Understanding Initial Seeds in Fuzzing
    Sriteja Kummita, Eric Bodden, Miao Miao, Shiyi Wei
    2025 40th IEEE/ACM International Conference on Automated Software Engineering Workshops (ASEW), 2025
    [paper][pdf]

  4. Program Feature-Based Benchmarking for Fuzz Testing
    Miao Miao, Sriteja Kummita, Eric Bodden, Shiyi Wei
    Proceedings of the 34th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2025
    [paper][pdf][code]

  5. Program Feature-Based Fuzzing Benchmarking
    Miao Miao
    2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2025
    [paper][pdf][code]

  6. An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools
    Miao Miao, Austin Mordahl, Dakota Soles, Alice Beideck, Shiyi Wei
    2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025
    [paper][pdf][code]

  7. Visualization Task Taxonomy to Understand the Fuzzing Internals
    Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei
    ACM Transactions on Software Engineering and Methodology, 2025
    [paper][pdf]

  8. Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report)
    Sriteja Kummita, Miao Miao, Eric Bodden, Shiyi Wei
    Proceedings of the 3rd ACM International Fuzzing Workshop, 2024
    [paper][pdf]

  9. ECSTATIC: Automatic configuration-aware testing and debugging of static analysis tools
    Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei
    Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023
    [paper][pdf][code]

Teaching

  • CS 6353 - Compiler Construction, UT Dallas (Spring 2024), Teaching Assistant
  • CS 4386 - Compiler Design, UT Dallas (Fall 2023), Teaching Assistant
  • CS/SE 6356 - Software Maintenance and Re-Engineering, UT Dallas (Spring 2023), Teaching Assistant

Services

  • Artifact Evaluation Committee for ASE 2026
  • Artifact Evaluation Committee for ISSTA 2026
  • Shadow Program Committee for ICSE 2026
  • Artifact Evaluation Committee for ISSTA 2025
  • Artifact Evaluation Committee for PLDI 2025
  • Junior Program Committee for MSR 2025
  • Student Volunteer at ICSE 2025, ISSTA 2023
  • Student Research Competition Judge for UTD SPUR (2023–2025)
  • Sub-reviewer for CCS, USENIX Security, FSE, ISSTA, ICSE, ASE, SecDev (2023–2027)
  • Mentor for UTD K-12 & Clarks Summer Research Programs (2023–2025)

Awards

“And now these three remain: faith, hope and love. But the greatest of these is love.”