Toward detection and characterization of variability bugs in configurable C software: an empirical study. - Austin Mordahl (ICSE (Companion Volume), 2019)

An empirical study of real-world variability bugs detected by variability-oblivious tools. - Austin Mordahl; Jeho Oh; Ugur Koc; Shiyi Wei; Paul Gazzillo (ESEC/SIGSOFT FSE, 2019)

The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android. - Austin Mordahl; Shiyi Wei (ISSTA, 2021)

SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools. - Ugur Koc; Austin Mordahl; Shiyi Wei; Jeffrey S. Foster; Adam A. Porter (ASE, 2021)

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

Automatic Testing and Benchmarking for Configurable Static Analysis Tools. - Austin Mordahl (ISSTA, 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 empirical assessment of machine learning approaches for triaging reports of static analysis tools. - Sai S. Yerramreddy; Austin Mordahl; Ugur Koc; Shiyi Wei; Jeffrey S. Foster; Marine Carpuat; Adam A. Porter (Empir. Softw. Eng., 2023)

RTL-Spec: RTL Spectrum Analysis for Security Bug Localization. - Samit Shahnawaz Miftah; Shamik Kundu; Austin Mordahl; Shiyi Wei; Kanad Basu (HOST, 2024)

Automated Testing Linguistic Capabilities of NLP Models. - Jaeseong Lee; Simin Chen; Austin Mordahl; Cong Liu 005; Wei Yang 013; Shiyi Wei (ACM Trans. Softw. Eng. Methodol., 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)