Please use this identifier to cite or link to this item: https://scholarbank.nus.edu.sg/handle/10635/226233
Title: FORMAL VERIFICATION-BASED PROGRAM REPAIR
Authors: NGUYEN THANH TOAN
Keywords: automated program repair, formal verification, Hoare logic, separation logic, memory leaks, formal methods
Issue Date: 20-Jan-2022
Citation: NGUYEN THANH TOAN (2022-01-20). FORMAL VERIFICATION-BASED PROGRAM REPAIR. ScholarBank@NUS Repository.
Abstract: Automated program repair has been an active research field in software engineering in the last decade. It aims to help developers automatically localize and fix program bugs, consequently reducing debugging efforts. Automated repair tools have been incorporated into continuous integration and code review processes to ease the debugging tasks of programmers. This dissertation proposes approaches that aim to extend the capabilities of automated program repair in three domains: numeric programs, heap-manipulating programs, and memory leaks.
URI: https://scholarbank.nus.edu.sg/handle/10635/226233
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
[Toan] Thesis_final.pdf1.58 MBAdobe PDF

OPEN

NoneView/Download

Google ScholarTM

Check


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