Please use this identifier to cite or link to this item:
https://scholarbank.nus.edu.sg/handle/10635/145447
DC Field | Value | |
---|---|---|
dc.title | SEMANTIC PROGRAM REPAIR | |
dc.contributor.author | MECHTAEV SERGEY | |
dc.date.accessioned | 2018-07-31T18:01:10Z | |
dc.date.available | 2018-07-31T18:01:10Z | |
dc.date.issued | 2018-04-09 | |
dc.identifier.citation | MECHTAEV SERGEY (2018-04-09). SEMANTIC PROGRAM REPAIR. ScholarBank@NUS Repository. | |
dc.identifier.uri | http://scholarbank.nus.edu.sg/handle/10635/145447 | |
dc.description.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. | |
dc.language.iso | en | |
dc.subject | program repair. program synthesis, debugging, symbolic execution, program analysis, software verification | |
dc.type | Thesis | |
dc.contributor.department | COMPUTER SCIENCE | |
dc.contributor.supervisor | ABHIK ROYCHOUDHURY | |
dc.description.degree | Ph.D | |
dc.description.degreeconferred | DOCTOR OF PHILOSOPHY | |
Appears in Collections: | Ph.D Theses (Open) |
Show simple item record
Files in This Item:
File | Description | Size | Format | Access Settings | Version | |
---|---|---|---|---|---|---|
final-final.pdf | 1.13 MB | Adobe PDF | OPEN | None | View/Download |
Google ScholarTM
Check
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.