arrow
M

Michael D. Ernst

university of washington
H指数:72
被引数:2.1万
浏览量:0

个人简介

暂无内容

教育背景

暂无内容

工作经历

暂无内容

荣誉奖项

暂无内容

Agentic C to Rust Translation

智能体C到Rust翻译

2026-08-310
OA
Resolving Conditional Implicit Calls to Improve Static and Dynamic Analysis in Android Apps

解析条件隐式调用以改进Android应用中的静态和动态分析

2026-02-010
PRE
Test Oracle Generation for REST APIs

REST API测试 oracle生成

2026-01-010
PRE
MeMo: Automatically identifying metamorphic relations in Javadoc comments for test automation

MeMo: 自动识别Javadoc中的变形关系测试自动化注释

2021-11-0127
OAAI
An Empirical Study of Fault Localization Families and Their Combinations

故障定位族及其组合的实证研究

2021-02-01204
OAAI
Visualizing Distributed System Executions
2020-03-0426
OAAI
Debugging Distributed Systems
2016-07-2254
OAAI
Reducing Feedback Delay of Software Development Tools via Continuous Analysis
2015-08-015
OAAI
Using Declarative Specification to Improve the Understanding, Extensibility, and Comparison of Model-Inference Algorithms
2015-04-0141
OAAI
Early Detection of Collaboration Conflicts and Risks
2013-10-0166
OAAI
HAMPI: A Solver for Word Equations over Strings, Regular Expressions, and Context-Free Grammars
2013-02-0753
PREAI
Finding Bugs in Web Applications Using Dynamic Test Generation and Explicit-State Model Checking
2010-07-0194
OAAI