publications

2025

1. 

   Program Feature-Based Benchmarking for Fuzz Testing

   Miao Miao, Sriteja Kummita, Eric Bodden, and 1 more author

   Proceedings of the ACM on Software Engineering, 2025

   DOI Bib HTML PDF Code

   @article{miao2025program,
     title = {Program Feature-Based Benchmarking for Fuzz Testing},
     author = {Miao, Miao and Kummita, Sriteja and Bodden, Eric and Wei, Shiyi},
     journal = {Proceedings of the ACM on Software Engineering},
     volume = {2},
     number = {ISSTA},
     pages = {527--549},
     year = {2025},
     publisher = {ACM New York, NY, USA},
     doi = {10.1145/3728899},
   }

2. ICSE-Companion

   Program Feature-Based Fuzzing Benchmarking

   Miao Miao

   In 2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2025

   DOI Bib HTML PDF Code

   @inproceedings{miao2025progran,
     title = {Program Feature-Based Fuzzing Benchmarking},
     author = {Miao, Miao},
     booktitle = {2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)},
     pages = {232--234},
     year = {2025},
     organization = {IEEE},
     doi = {10.1109/ICSE-Companion66252.2025.00074},
   }

3. ICSE

   An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools

   Miao Miao, Austin Mordahl, Dakota Soles, and 2 more authors

   In 2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE), 2025

   DOI Bib HTML PDF Code

   @inproceedings{miao2025extensive,
     title = {An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools},
     author = {Miao, Miao and Mordahl, Austin and Soles, Dakota and Beideck, Alice and Wei, Shiyi},
     booktitle = {2025 IEEE/ACM 47th International Conference on Software Engineering (ICSE)},
     pages = {662--662},
     year = {2025},
     organization = {IEEE Computer Society},
     doi = {10.1109/ICSE55347.2025.00125},
   }

4. TOSEM

   Visualization Task Taxonomy to Understand the Fuzzing Internals

   Sriteja Kummita, Miao Miao, Eric Bodden, and 1 more author

   ACM Transactions on Software Engineering and Methodology, 2025

   DOI Bib HTML PDF

   @article{kummita2025visualization,
     title = {Visualization Task Taxonomy to Understand the Fuzzing Internals},
     author = {Kummita, Sriteja and Miao, Miao and Bodden, Eric and Wei, Shiyi},
     journal = {ACM Transactions on Software Engineering and Methodology},
     year = {2025},
     publisher = {ACM New York, NY},
     doi = {10.1145/3718346},
   }

2024

1. FUZZING

   Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report)

   Sriteja Kummita, Miao Miao, Eric Bodden, and 1 more author

   In Proceedings of the 3rd ACM International Fuzzing Workshop, 2024

   DOI Bib HTML PDF

   @inproceedings{kummita2024visualization,
     title = {Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report)},
     author = {Kummita, Sriteja and Miao, Miao and Bodden, Eric and Wei, Shiyi},
     booktitle = {Proceedings of the 3rd ACM International Fuzzing Workshop},
     pages = {13--22},
     year = {2024},
     doi = {10.1145/3678722.3685530},
   }

2023

1. ISSTA

   ECSTATIC: Automatic configuration-aware testing and debugging of static analysis tools

   Austin Mordahl, Dakota Soles, Miao Miao, and 2 more authors

   In Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

   DOI Bib HTML PDF Code

   @inproceedings{mordahl2023ecstatic,
     title = {ECSTATIC: Automatic configuration-aware testing and debugging of static analysis tools},
     author = {Mordahl, Austin and Soles, Dakota and Miao, Miao and Zhang, Zenong and Wei, Shiyi},
     booktitle = {Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis},
     pages = {1479--1482},
     year = {2023},
     doi = {10.1145/3597926.3604918},
   }