• Publications
  • Influence
Precise Condition Synthesis for Program Repair
tl;dr
We focus on condition synthesis, which was shown to be able to repair more than half of the defects in existing approaches. Expand
  • 130
  • 33
  • Open Access
Shaping program repair space with existing patches and similar code
tl;dr
We propose a novel automatic program repair approach that utilizes both existing patches and similar code to identify the correct patch. Expand
  • 71
  • 32
  • Open Access
Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis
tl;dr
Segmentation and stack-trace analysis are complementary to each other for boosting the performance of bug-report-oriented fault localization. Expand
  • 85
  • 15
  • Open Access
Identifying Patch Correctness in Test-Based Program Repair
tl;dr
We propose a novel approach that heuristically determines the correctness of the generated patches generated from existing program repair systems. Expand
  • 56
  • 12
  • Open Access
From state- to delta-based bidirectional model transformations: the symmetric case
tl;dr
We build two algebraic frameworks for symmetric BXs, with one correctly implementing the other, and both being delta-based generalizations of known state-based frameworks. Expand
  • 112
  • 11
  • Open Access
An Empirical Study of Fault Localization Families and Their Combinations
tl;dr
The performance of fault localization techniques on real-world faults is critical to their adoption in practice. Expand
  • 32
  • 7
  • Open Access
A Genetic Algorithm for Detecting Significant Floating-Point Inaccuracies
tl;dr
We propose the first metaheuristic search-based approach to automatically generating test inputs that aim to trigger significant inaccuracies in floating-point programs. Expand
  • 20
  • 7
  • Open Access
Towards automatic model synchronization from model transformations
tl;dr
We propose an automatic approach to synchronize models that are related by model transformations by propagating modifications across the models. Expand
  • 184
  • 6
  • Open Access
Supporting automatic model inconsistency fixing
tl;dr
We propose a new language, Beanbag, to support the development of fixing procedures. Expand
  • 81
  • 6
  • Open Access