Publication Type

PhD Dissertation

Version

publishedVersion

Publication Date

6-2018

Abstract

This chapter discusses the main problem and motivation of this dissertation. It also discusses a quantification of various research issues directly related to the dissertation. A summary of works done will also be presented along with the structure of the dissertation.

Keywords

Program repair, Program synthesis, Symbolic execution, Empirical study

Degree Awarded

PhD in Information Systems

Discipline

Programming Languages and Compilers

Supervisor(s)

LO, David

Publisher

Singapore Management University

City or Country

Singapore

Copyright Owner and License

Author

Share

COinS