Write a Blog >>
ICSE 2021
Mon 17 May - Sat 5 June 2021
Mon 24 May 2021 19:20 - 19:50 at DS Room 1 - Late PhD #2 Chair(s): Sebastian Uchitel

Automatic program repair (APR) has recently gained attention because it proposes to fix software defects with no human intervention. To automatically fix defects, most APR tools use the developer-written tests to (a) localize the defect, and (b) generate and validate the automatically produced candidate patches based on the constraints imposed by the tests. While APR tools can produce patches that appear to fix the defect for 11-19% of the defects in real-world software, most of the patches produced are not correct or acceptable to developers because they overfit to the tests used during the repair process. This problem is known as the patch overfitting problem. To address this problem, I propose to equip APR tools with additional constraints derived from natural-language software artifacts such as bug reports and requirements specifications that describe the bug and intended software behavior but are not typically used by the APR tools. I hypothesize that patches produced by APR tools while using such additional constraints would be of higher quality. To test this hypothesis, I propose an automated and objective approach to evaluate the quality of patches and propose two novel methods to improve the fault localization and developer-written test suites using natural-language software artifacts. Finally, I propose to use my patch evaluation methodology to analyze the effect of the improved fault localization and test suites on the quality of patches produced by APR tools for real-world defects.

Mon 24 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

18:50 - 20:20
Late PhD #2DS - Doctoral Symposium at DS Room 1
Chair(s): Sebastian Uchitel Universidad de Buenos Aires / Imperial College

Advisor(s): Nazareno AguirreUniversity of Rio Cuarto and CONICET, Tevfik BultanUniversity of California, Santa Barbara, Betty H.C. ChengMichigan State University

18:50
30m
Doctoral symposium paper
Vulnerability Detection is Just the BeginningDoctoral Symposium
DS - Doctoral Symposium
Sarah Elder North Carolina State University
Pre-print
19:20
30m
Doctoral symposium paper
High-Quality Automated Program RepairDoctoral Symposium
DS - Doctoral Symposium
Manish Motwani University of Massachusetts, Amherst
Pre-print
19:50
30m
Doctoral symposium paper
On the Interplay Between Static and Dynamic Analysis for Mining SandboxesDoctoral Symposium
DS - Doctoral Symposium
Francisco Costa University of Brasília, Brazil
Pre-print