{"id":{"repo_id":"nus","oai_identifier":"oai:scholarbank.nus.edu.sg:10635/226233"},"canonical_url":"https://search.dev.ndltd.org/etd/nus/oai:scholarbank.nus.edu.sg:10635/226233","repository":{"repo_id":"nus","name":"National University of Singapore","base_url":"https://scholarbank.nus.edu.sg/oai/request"},"display":{"title":"FORMAL VERIFICATION-BASED PROGRAM REPAIR","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.","abstract_html":"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.","abstract_has_math":false,"creators":["NGUYEN THANH TOAN"],"institution":null,"degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":null,"school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":2022,"date_issued":"2022-01-20","date_published":"2022-01-20","updated_at":"2026-07-24T03:31:13Z","subjects":["automated program repair, formal verification, Hoare logic, separation logic, memory leaks, formal methods"],"languages":[],"rights":[],"rights_urls":[],"identifier_entries":[]},"links":{"outbound_url":null,"outbound_label":null,"outbound_source":null},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:creator","label":"Author","values":["NGUYEN THANH TOAN"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.issued","label":"Date","values":["2022-01-20"]},{"key":"dc:relation.isreferencedby","label":"Dc Relation Isreferencedby","values":["https://scholarbank.nus.edu.sg/handle/10635/226233"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["automated program repair, formal verification, Hoare logic, separation logic, memory leaks, formal methods"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["https://scholarbank.nus.edu.sg/bitstreams/290b2572-a371-43f9-9b77-f3760e17b503/download"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:format.checksum.md5","label":"Dc Format Checksum Md5","values":["16aa2192968e57a9aa202a4196ddae1e","1d0ad31bce2563b2543122d1dcace5b9"]},{"key":"dc:title","label":"Title","values":["FORMAL VERIFICATION-BASED PROGRAM REPAIR"]}]}],"canonical_facts":{"dc:creator":["NGUYEN THANH TOAN"],"dc:date.issued":["2022-01-20"],"dc:description.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."],"dc:format.checksum.md5":["16aa2192968e57a9aa202a4196ddae1e","1d0ad31bce2563b2543122d1dcace5b9"],"dc:identifier.uri":["https://scholarbank.nus.edu.sg/bitstreams/290b2572-a371-43f9-9b77-f3760e17b503/download"],"dc:relation.isreferencedby":["https://scholarbank.nus.edu.sg/handle/10635/226233"],"dc:subject":["automated program repair, formal verification, Hoare logic, separation logic, memory leaks, formal methods"],"dc:title":["FORMAL VERIFICATION-BASED PROGRAM REPAIR"],"dc:type":["Thesis"]},"updated_at":"2026-07-24T03:31:13Z"}