ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools. - Austin Mordahl; Dakota Soles; Miao Miao 001; Zenong Zhang; Shiyi Wei (ISSTA, 2023)

Visualization Task Taxonomy to Understand the Fuzzing Internals (Registered Report). - Sriteja Kummita; Miao Miao 001; Eric Bodden; Shiyi Wei (FUZZING, 2024)

An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools. - Miao Miao 001; Austin Mordahl; Dakota Soles; Alice Beideck; Shiyi Wei (ICSE, 2025)

Program Feature-Based Benchmarking for Fuzz Testing. - Miao Miao 001; Sriteja Kummita; Eric Bodden; Shiyi Wei (Proc. ACM Softw. Eng., 2025)