Test-Equivalence Analysis for Automatic Patch Generation
Abstract
Automated program repair is a problem of finding a transformation (called a patch) of a given incorrect program that eliminates the observable failures. It has important applications such as providing debugging aids, automatically grading student assignments, and patching security vulnerabilities. A common challenge faced by existing repair techniques is scalability to large patch spaces, since there are many candidate patches that these techniques explicitly or implicitly consider.
Document Details
- Document Type
- Pub Defense Publication
- Publication Date
- Oct 22, 2018
- Source ID
- 10.1145/3241980
Entities
People
- Abhik Roychoudhury
- Sergey Mechtaev
- Shin Hwei Tan
- Xiang Gao
Organizations
- National University of Singapore
- Office of Naval Research