Can I read Precise Condition Synthesis for Program Repair on EtoBox?

Precise Condition Synthesis for Program Repair by Xiong, Yingfei; Wang, Jie; Yan, Runfa; Zhang, Jiachen; Han, Shi; Huang, Gang; Zhang, Lu is a scholarly article available to read on EtoBox.

What is Precise Condition Synthesis for Program Repair about?

Due to the difficulty of repairing defect, many research efforts have been devoted into automatic defect repair. Given a buggy program that fails some test cases, a typical automatic repair technique tries to modify the program to make all tests pass. However, since the test suites in real world projects are usually insufficient, aiming at passing the test suites often leads to incorrect patches. In this paper we aim to produce precise patches, that is, any patch we produce has a relatively high probability to be correct. More concretely, we focus on condition synthesis, which was shown to be able to repair more than half of the defects in existing approaches. Our key insight is threefold. First, it is important to know what variables in a local context should be used in an "if" condition, and we propose a sorting method based on the dependency relations between variables. Second, we observe that the API document can be used to guide the repair process, and propose document analysis technique to further filter the variables. Third, it is important to know what predicates should be performed on the set of variables, and we propose to mine a set of frequently used predicates in simil

Author

Xiong, Yingfei; Wang, Jie; Yan, Runfa; Zhang, Jiachen; Han, Shi; Huang, Gang; Zhang, Lu

Published

2016

Language

EN