Austin Mordahl

Orcid: 0000-0003-3031-8848

According to our database1, Austin Mordahl authored at least 8 papers between 2019 and 2023.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
An empirical assessment of machine learning approaches for triaging reports of static analysis tools.
Empir. Softw. Eng., March, 2023

ECSTATIC: Automatic Configuration-Aware Testing and Debugging of Static Analysis Tools.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Automatic Testing and Benchmarking for Configurable Static Analysis Tools.
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2021
SATune: A Study-Driven Auto-Tuning Approach for Configurable Software Verification Tools.
Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

The impact of tool configuration spaces on the evaluation of configurable taint analysis for Android.
Proceedings of the ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis, 2021

2019
An empirical study of real-world variability bugs detected by variability-oblivious tools.
Proceedings of the ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2019

Toward detection and characterization of variability bugs in configurable C software: an empirical study.
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019


  Loading...