Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States

The goal of automated program repair is to automate patch generation for buggy programs to reduce the manual effort by developers. A generate-and-validate method, such as GenProg, is a kind of typical repair methods that continuously generate potential patches and then validate the patches with a given test suite. A generate-and-validate method can accumulate patches when the execution time of repair methods increases. However, how many buggy programs can be newly patched when the time increase? In this paper, we conducted an exploratory study of repairing 2980 small-scale buggy programs from the CODEFLAWS benchmark with three repair methods GENPROG, SPR, and PROPHET. The aim of this study is to understand the execution time of repair methods via investigating four research questions. Experimental results show that the time of patch generation correlates with the number of executable lines of code and the Cyclomatic complexity. That is, a complex program is difficult to be repaired. This motivates us to explore a new repair method that can weaken such correlation with the lines of code and the complexity. We designed VANFIX, a simple and effective repair method for small-scale C programs. VANFIX leverages the probability of exploring the search space to conduct a variable search neighborhood for potential patches, rather than patching suspicious statements one by one. The comparison among repair methods shows that VANFIX can generate patches for 653 buggy programs, which contains 408 correctly patched buggy programs. This makes VANFIX achieve 24% to 30% better precision than GENPROG, SPR, and PROPHET.

Wed 13 Nov
Times are displayed in time zone: (GMT-07:00) Tijuana, Baja California change

ase-2019-Late-Breaking-Results
15:20 - 16:00: Late Breaking Results - Poster Session: Late Breaking Results at Kensington Ballroom
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Ming Wu, Pengcheng WangUniversity of Science and Technology of China, Kangqi Yin, Haoyu Cheng, Yun XuUniversity of Science and Technology of China, Chanchal K. RoyUniversity of Saskatchewan
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Yi LiNanyang Technological University, Shaohua WangNew Jersey Institute of Technology, USA, Tien N. NguyenUniversity of Texas at Dallas, Son NguyenThe University of Texas at Dallas, Xinyue Ye, Yan Wang
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Md Rafiqul Islam RabinUniversity of Houston, Ke WangVisa Research, Mohammad Amin Alipour
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Haochuan LuFudan University, Huanlin Xu, Nana Liu, Yangfan ZhouFudan University, Xin Wang
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Joymallya ChakrabortyNorth Carolina State University, Tianpei Xia, Fahmid M. Fahid, Tim MenziesNorth Carolina State University
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Mounifah Alenazi, Nan NiuUniversity of Cincinnati, Juha SavolainenDanfoss
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
panuchart bunyakiatikasetsart university, Usa Sammapunkasetsart university
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Jiazhen Gu, Huanlin Xu, Yangfan ZhouFudan University, Xin Wang, Hui Xu, Michael LyuThe Chinese University of Hong Kong
Pre-print
ase-2019-Late-Breaking-Results15:20 - 16:00
Poster
Pre-print