FORMAL VERIFICATION-BASED PROGRAM REPAIR

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.

Author dc:creator

• NGUYEN THANH TOAN

• automated program repair, formal verification, Hoare logic, separation logic, memory leaks, formal methods