ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis. - Austin Mordahl; Zenong Zhang; Dakota Soles; Shiyi Wei (ICSE, 2023)

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

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