Michael D. Ernst
- NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating System
2018/02/25 by Xi Victoria Lin, Chenglong Wang, Lin, Xi Victoria +5 · 1 voice · 14 citations
Computer Science · #cs.CL #cs.SE
- The Daikon system for dynamic detection of likely invariants
2007/12/01 by Michael D. Ernst, Jeff H. Perkins, Philip J. Guo +4 · 23 citations
- Permutation Methods: A Basis for Exact Inference
2004/11/01 by Michael D. Ernst · 10 citations
- An Empirical Study of Fault Localization Families and Their Combinations
2018/03/27 by Daming Zou, Jingjing Liang, Zou, Daming +7 · 4 citations
Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques
- Call Graph Soundness in Android Static Analysis
2024/07/10 by Jordan Samhi, Samhi, Jordan, René Just +7 · 3 citations
Computer Science · #Advanced Malware Detection Techniques #FOS: Computer and information sciences #Mobile and Web Applications #Software Engineering (cs.SE) #Web Data Mining and Analysis
- A Graphical Interactive Debugger for Distributed Systems
2018/06/13 by Doug Woos, Zachary Tatlock, Woos, Doug +5 · 1 citation
Computer Science · #Cloud Computing and Resource Management #Distributed #Distributed and Parallel Computing Systems #FOS: Computer and information sciences #Parallel #Parallel Computing and Optimization Techniques #Software Engineering (cs.SE) #and Cluster Computing (cs.DC)
- Removing biased data to improve fairness and accuracy
2021/02/05 by Sahil Verma, Verma, Sahil, Michael D. Ernst +3 · 1 citation
Social Sciences · Computer Science · #Ethics and Social Impacts of AI #Explainable Artificial Intelligence (XAI) #Adversarial Robustness in Machine Learning
- Tratto: A Neuro-Symbolic Approach to Deriving Axiomatic Test Oracles
2025/04/05 by Davide Molinelli, Molinelli, Davide, Alberto Martin-Lopez +9 · 2 citations
Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE) #Software Testing and Debugging Techniques #Topic Modeling
- Reducing wasted development time via continuous testing
2005/04/25 by David Saff, Michael D. Ernst · 1 citation
Computer Science · #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques