onr:"swepub:oai:DiVA.org:kth-312192"
Search: onr:"swepub:oai:DiVA.org:kth-312192" > Estimating the pote...
- 1 of 1
- Previous record
- Next record
- To hitlist
Estimating the potential of program repair search spaces with commit analysis
-
- Etemadi, Khashayar (author)
- KTH,Teoretisk datalogi, TCS
-
- Tarighat, Niloofar (author)
- Sharif Univ Technol, Tehran, Iran.
-
- Yadav, Siddharth (author)
- Indraprastha Inst Informat Technol Delhi, Delhi, India.
- show more...
- show less...
- (creator_code:org_t)
- Elsevier BV, 2022
- 2022
- English.
- In: Journal of Systems and Software. - : Elsevier BV. - 0164-1212 .- 1873-1228. ; 188
- Journal article (peer-reviewed)
Abstract
Subject headings
Close
- The most natural method for evaluating program repair systems is to run them on bug datasets, such as Defects4J. Yet, using this evaluation technique on arbitrary real-world programs requires heavy configuration. In this paper, we propose a purely static method to evaluate the potential of the search space of repair approaches. This new method enables researchers and practitioners to encode the search spaces of repair approaches and select potentially useful ones without struggling with tool configuration and execution. We encode the search spaces by specifying the repair strategies they employ. Next, we use the specifications to check whether past commits lie in repair search spaces. For a repair approach, including many human-written past commits in its search space indicates its potential to generate useful patches. We implement our evaluation method in LIGHTER. LIGHTER gets a Git repository and outputs a list of commits whose source code changes lie in repair search spaces. We run LIGHTER on 55,309 commits from the history of 72 Github repositories with and show that LIGHTER's precision and recall are 77% and 92%, respectively. Overall, our experiments show that our novel method is both lightweight and effective to study the search space of program repair approaches.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
- NATURVETENSKAP -- Data- och informationsvetenskap -- Programvaruteknik (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Software Engineering (hsv//eng)
- TEKNIK OCH TEKNOLOGIER -- Elektroteknik och elektronik -- Datorsystem (hsv//swe)
- ENGINEERING AND TECHNOLOGY -- Electrical Engineering, Electronic Engineering, Information Engineering -- Computer Systems (hsv//eng)
Keyword
- Program repair
- Search-space
- Static code analysis
- Commit analysis
Publication and Content Type
- ref (subject category)
- art (subject category)
Find in a library
- Journal of Systems and Software (Search for host publication in LIBRIS)
To the university's database
- 1 of 1
- Previous record
- Next record
- To hitlist
Find more in SwePub
- By the author/editor
- Etemadi, Khashay ...
- Tarighat, Niloof ...
- Yadav, Siddharth
- Martinez, Matias
- Monperrus, Marti ...
- About the subject
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Computer Science ...
-
- NATURAL SCIENCES
- NATURAL SCIENCES
- and Computer and Inf ...
- and Software Enginee ...
-
- ENGINEERING AND TECHNOLOGY
- ENGINEERING AND ...
- and Electrical Engin ...
- and Computer Systems
- Articles in the publication
- Journal of Syste ...
- By the university
- Royal Institute of Technology
Search outside SwePub
- Extend your search to:
- Google Book Search
- Google Scholar
Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.
- Copyright © LIBRIS - National Library Systems
- LIBRIS.kb.se
