• Publications
  • Influence
Shaping program repair space with existing patches and similar code
TLDR
This paper proposes a novel automatic program repair approach that utilizes both existing patches and similar code and obtains a concrete search space by differencing with similar code snippets and searches within the intersection of the two search spaces.
Precise Condition Synthesis for Program Repair
TLDR
A novel program repair system, ACS, that could generate precise conditions at faulty locations and can perform a repair operation that is previously deemed to be too overfitting: directly returning the test oracle to repair the defect.
Boosting Bug-Report-Oriented Fault Localization with Segmentation and Stack-Trace Analysis
TLDR
This paper proposes to use segmentation and stack-trace analysis to improve the performance of bug localization by dividing each source code file into a series of segments and using the segment most similar to the bug report to represent the file.
An Empirical Study of Fault Localization Families and Their Combinations
TLDR
Results reveal that a combined technique significantly outperforms any individual technique, suggesting that combination may be a desirable way to apply fault localization techniques and that future techniques should also be evaluated in the combined setting.
Identifying Patch Correctness in Test-Based Program Repair
TLDR
This work proposes a novel approach that heuristically determines the correctness of the generated patches by exploiting the behavior similarity of test case executions in order to prevent incorrect patches being generated.
An empirical study on TensorFlow program bugs
TLDR
This work studied deep learning applications built on top of Tensor Flow and collected program bugs related to TensorFlow from StackOverflow QA pages and Github projects to examine the root causes and symptoms of coding defects in Tensorflow programs.
From state- to delta-based bidirectional model transformations: the symmetric case
TLDR
Two new algebraic laws are identified--weak undoability and weak invertibility, which capture important semantics of BX and are useful for both state- and delta-based settings.
Search-based inference of polynomial metamorphic relations
TLDR
A search-based approach to automatic inference of polynomial MRs for a program under test is proposed, which is able to infer many high-quality MRs in acceptable time and is effective in detecting faults with no false detection.
Supporting automatic model inconsistency fixing
TLDR
A new language, Beanbag, is proposed to support the development of fixing procedures, where a Beanbag program defines and checks a consistency relation similarly to OCL, but the program can also be executed in a fixing mode, taking user updates on the model and producing new updates to make the model satisfy the consistency relation.
...
1
2
3
4
5
...