AuthorsO. I. Al-Bataineh and L. Moonen
TitleTowards Extending the Range of Bugs That Automated Program Repair Can Handle
AfilliationSoftware Engineering
Project(s)Data-Driven Software Engineering Department
Publication TypeTechnical reports
Year of Publication2022
Date Published11/2022
Keywordsautomated program repair, bug classification, hybrid techniques, non-observable and liveness bugs

Modern automated program repair (APR) is well-tuned to finding and repairing bugs that introduce observable erroneous behavior to a program. However, a significant class of bugs does not lead to such observable behavior (e.g., liveness/termination bugs, non-functional bugs, and information flow bugs). Such bugs can generally not be handled with current APR approaches, so, as a community, we need to develop complementary techniques.

To stimulate the systematic study of alternative APR approaches and hybrid APR combinations, we devise a novel bug classification system that enables methodical analysis of their bug detection power and bug repair capabilities. To demonstrate the benefits, we analyze the repair of termination bugs in sequential and concurrent programs. The study shows that integrating dynamic APR with formal analysis techniques, such as termination provers and software model checkers, reduces complexity and improves the overall reliability of these repairs.

Citation Keyal-bataineh2022:extending:arxiv

Contact person