Dan Hao
Identifiers
No identifiers captured yet.
Papers (7)
- Towards Definitional Interpreters for Hoare Logics cs.PL · 2026 · author #5
- DebugRepair: Enhancing LLM-Based Automated Program Repair via Self-Directed Debugging cs.SE · 2026 · author #12
- TestDecision: Sequential Test Suite Generation via Greedy Optimization and Reinforcement Learning cs.SE · 2026 · author #7
- TRACE: Evaluating Execution Efficiency of LLM-Based Code Translation cs.SE · 2026 · author #6
- Automated Refactoring of Nested-IF Formulae in Spreadsheets cs.SE · 2017 · author #3
- An Empirical Analysis of the Influence of Fault Space on Search-Based Automated Program Repair cs.SE · 2017 · author #4
- Faster Mutation Analysis via Equivalence Modulo States cs.SE · 2017 · author #5
Mentions
No mention provenance yet.
Frequent Coauthors
- Bo Wang 2 shared papers
- Lu Zhang 2 shared papers
- Zeyu Sun 2 shared papers
- Chengran Yang 1 shared papers
- David Lo 1 shared papers
- Di Wang 1 shared papers
- Dong Huang 1 shared papers
- Dongmei Zhang 1 shared papers
- Guoqing Wang 1 shared papers
- Hao Tan 1 shared papers
- Jia Li 1 shared papers
- Jie M. Zhang 1 shared papers
- Jie Zhang 1 shared papers
- Junjie Chen 1 shared papers
- Kainan Li 1 shared papers
- Ke Sun 1 shared papers
- Kunwu Zheng 1 shared papers
- Linhao Wu 1 shared papers
- Meng Wang 1 shared papers
- Ming Wen 1 shared papers