NICOP - Self-healing software
Abstract
The presence of serious errors and vulnerabilities in software, leave them open to exploitationby attackers. Since many functionali""ties in our daily lives, as well as the critical infra~structure inour society are software controlled, detecting and rectifying vu""lnerabilities is of paramountimportance. In the recent past, automated program repair has emerged as a technology whichcan help ac""hieve the goal of self~healing software. In automated repair techniques, a buggyprogram is provided, along with a correctness crite""rion which is typically embodied as a testsuite.The output is a patched program meeting the correctness criterion, say a program wh""ichpasses all tests in the provided test~suite. In this project, we seek to develop scalable automatedprogram repair methods which"" establish test~equivalence relation in the space of patches, thatis identifying subspaces of program modifications that produce in"distinguishable results for giventests. Such repair methods also combine the benefits of syntax~based and semantics~basedrepair.
Document Details
- Document Type
- DoD Grant Award
- Publication Date
- Jan 23, 2018
- Source ID
- N629091812052
Entities
People
- Abhik Roychoudhury
Organizations
- National University of Singapore
- Office of Naval Research
- United States Navy