Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/145447
Title: SEMANTIC PROGRAM REPAIR
Authors: MECHTAEV SERGEY
Keywords: program repair. program synthesis, debugging, symbolic execution, program analysis, software verification
Issue Date: 9-Apr-2018
Citation: MECHTAEV SERGEY (2018-04-09). SEMANTIC PROGRAM REPAIR. ScholarBank@NUS Repository.
Abstract: Debugging consumes significant amount of resources in software development projects. Automated program repair is a promising technology that can reduce the cost of debugging by automatically eliminating program defects. Early test-driven program repair techniques that scaled to large real-world programs utilized syntactic search without comprehending the meaning of the program and the defect. Although such techniques demonstrated encouraging results, they suffer from several limitations. First, since a test suite is an incomplete specification, automatically generated patches may not correspond to user intentions but merely overfit the tests. Secondly, syntactic techniques scale to relatively small search spaces and therefore can address only a small number of defects. This work introduces a series of techniques to address the aforementioned challenges of automated program repair. These techniques are united by the idea of revealing the underlying program structure by means of semantic analysis. Our experiments showed that the proposed techniques advance the state of the art of program repair. Semantic analysis helps to increase the quality of automatically generated patches. Apart from that, it enables program repair to scale to larger search spaces and consequently address more defect.
URI: http://scholarbank.nus.edu.sg/handle/10635/145447
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
final-final.pdf1.13 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

200
checked on Mar 5, 2021

Download(s)

63
checked on Mar 5, 2021

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.