Please use this identifier to cite or link to this item:
|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:
|[Toan] Thesis_final.pdf||1.58 MB||Adobe PDF|
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.