Austin Mordahl

11 papers A* 3A 3Journal 2Unranked 3
YearRankTypeTitle / Venue / Authors
2025 A* conf
An Extensive Empirical Study of Nondeterministic Behavior in Static Analysis Tools.
ICSE
Miao Miao, Austin Mordahl, Dakota Soles, Alice Beideck, Shiyi Wei
2024 J jnl
Automated Testing Linguistic Capabilities of NLP Models.
ACM Trans. Softw. Eng. Methodol.
Jaeseong Lee, Simin Chen, Austin Mordahl, Cong Liu, Wei Yang, Shiyi Wei
2024 — conf
RTL-Spec: RTL Spectrum Analysis for Security Bug Localization.
HOST
Samit Shahnawaz Miftah, Shamik Kundu, Austin Mordahl, Shiyi Wei, Kanad Basu
2023 J jnl
An empirical assessment of machine learning approaches for triaging reports of static analysis tools.
Empir. Softw. Eng.
Sai S. Yerramreddy, Austin Mordahl, Ugur Koc, Shiyi Wei, Jeffrey S. Foster, Marine Carpuat, Adam A. Porter
2023 A conf
Automatic Testing and Benchmarking for Configurable Static Analysis Tools.
ISSTA
Austin Mordahl
2023 A* conf
ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis.
ICSE
Austin Mordahl, Zenong Zhang, Dakota Soles, Shiyi Wei
2023 A conf
ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools.
ISSTA
Austin Mordahl, Dakota Soles, Miao Miao, Zenong Zhang, Shiyi Wei
2021 A* conf
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools.
ASE
Ugur Koc, Austin Mordahl, Shiyi Wei, Jeffrey S. Foster, Adam A. Porter
2021 A conf
The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android.
ISSTA
Austin Mordahl, Shiyi Wei
2019 — conf
An empirical study of real-world variability bugs detected by variability-oblivious tools.
ESEC/SIGSOFT FSE
Austin Mordahl, Jeho Oh, Ugur Koc, Shiyi Wei, Paul Gazzillo
2019 — conf
Toward detection and characterization of variability bugs in configurable C software: an empirical study.
ICSE (Companion Volume)
Austin Mordahl