publications by categories in reversed chronological order.
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]
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]
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]
Program Feature-Based Fuzzing Benchmarking Miao Miao 2025 IEEE/ACM 47th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion), 2025 [paper][pdf][code]
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]
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]
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]
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]