Paper published in a book (Scientific congresses, symposiums and conference proceedings)
AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
Liu, Kui; Koyuncu, Anil; Dongsun, Kim et al.
2019In The 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER-2019)
Peer reviewed
 

Files


Full Text
saner-2019.pdf
Author preprint (1.77 MB)
Download

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
Automated program repair; static analysis; fix pattern
Abstract :
[en] Fix pattern-based patch generation is a promising direction in Automated Program Repair (APR). Notably, it has been demonstrated to produce more acceptable and correct patches than the patches obtained with mutation operators through genetic programming. The performance of pattern-based APR systems, however, depends on the fix ingredients mined from fix changes in development histories. Unfortunately, collecting a reliable set of bug fixes in repositories can be challenging. In this paper, we propose to investigate the possibility in an APR scenario of leveraging code changes that address violations by static bug detection tools. To that end, we build the AVATAR APR system, which exploits fix patterns of static analysis violations as ingredients for patch generation. Evaluated on the Defects4J benchmark, we show that, assuming a perfect localization of faults, AVATAR can generate correct patches to fix 34/39 bugs. We further find that AVATAR yields performance metrics that are comparable to that of the closely-related approaches in the literature. While AVATAR outperforms many of the state-of-the-art pattern-based APR systems, it is mostly complementary to current approaches. Overall, our study highlights the relevance of static bug finding tools as indirect contributors of fix ingredients for addressing code defects identified with functional test cases.
Research center :
Interdisciplinary Centre for Security, Reliability and Trust (SnT) > Security Design and Validation Research Group (SerVal)
Disciplines :
Computer science
Author, co-author :
Liu, Kui ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Koyuncu, Anil ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Dongsun, Kim
Bissyande, Tegawendé François D Assise  ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
External co-authors :
no
Language :
English
Title :
AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations
Publication date :
24 February 2019
Event name :
The 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering
Event organizer :
IEEE
Event place :
Hangzhou, China
Event date :
from 24-02-2019 to 27-02-2019
Audience :
International
Main work title :
The 26th IEEE International Conference on Software Analysis, Evolution, and Reengineering (SANER-2019)
Publisher :
IEEE, Hangzhou, China
Peer reviewed :
Peer reviewed
Focus Area :
Computational Sciences
FnR Project :
FNR10449467 - Automatic Bug Fix Recommendation: Improving Software Repair And Reducing Time-to-fix Delays In Software Development Projects, 2015 (01/02/2016-31/01/2019) - Tegawendé François D'assise Bissyandé
Funders :
FNR - Fonds National de la Recherche [LU]
Available on ORBilu :
since 22 December 2018

Statistics


Number of views
170 (18 by Unilu)
Number of downloads
207 (15 by Unilu)

Scopus citations®
 
103
Scopus citations®
without self-citations
81

Bibliography


Similar publications



Contact ORBilu