Xiaoxing Ma
2 indexed papers
Recent (6 mo)
2With code
0Influential cites
0Benchmarked
0Publications per year
226
Top categories
Software Eng.×1AI×1ML×1Prog. Lang.×1
Frequent co-authors
Research Timeline
2026
InvWeaver: Deductive Feedback for Invariant Synthesis in Interacting-Loop Programs
This paper introduces InvWeaver, a neuro-symbolic framework for synthesizing loop invariants in programs with multiple interacting loops.
Beyond Fail-to-Pass: Iterative Hardening of Co-Generated Bug Reproduction Tests and Fixes
This paper proposes CoHarden, a co-generation framework for automated program repair that uses a lax signal as an in-loop convergence criterion to prevent lax regressions.
Highlighted terms show continued research focus across papers
Papers
cs.SEcs.AIEmpiricalRecentJul 22, 2026
Beyond Fail-to-Pass: Iterative Hardening of Co-Generated Bug Reproduction Tests and Fixes
Yuhao Tan, Zhibang Yang, Fangkai Yang, Yuan Yao +8 more
This paper proposes CoHarden, a co-generation framework for automated program repair that uses a lax signal as an in-loop convergence criterion to prevent lax regressions.
View →
cs.LGcs.PLEmpirical