* ICSE 2018 *
Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden
Fri 1 Jun 2018 09:00 - 09:20 at J2 room - Performance and Maintenance Chair(s): Miryung Kim

Test-based automatic program repair has attracted a lot of attention in recent years. However, the test suites in practice are often too weak to guarantee correctness and existing approaches often generate a large number of incorrect patches.

To reduce the number of incorrect patches generated, we propose a novel approach that heuristically determines the correctness of the generated patches. The core idea is to exploit the behavior similarity of test case executions. The passing tests on original and patched programs are likely to behave similarly while the failing tests on original and patched programs are likely to behave differently. Also, if two tests exhibit similar runtime behavior, the two tests are likely to have the same test results. Based on these observations, we generate new test inputs to enhance the test suites and use their behavior similarity to determine patch correctness.

Our approach is evaluated on a dataset consisting of 139 patches generated from existing program repair systems including jGenProg, Nopol, jKali, ACS and HDRepair. Our approach successfully prevented 56.3% of the incorrect patches to be generated, without blocking any correct patches.

Fri 1 Jun
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

09:00 - 10:30
Performance and MaintenanceTechnical Papers / Journal first papers at J2 room
Chair(s): Miryung KimUniversity of California at Los Angeles, USA
09:00
20m
Talk
Identifying Patch Correctness in Test-Based Program Repair
Technical Papers
Yingfei XiongPeking University, Xinyuan Liu, Muhan Zeng, Lu ZhangPeking University, Gang Huang
Pre-print
09:20
20m
Research paper
How not to structure your database-backed web applications: a study of performance bugs in the wild
Technical Papers
Junwen YangUniversity of Chicago, Cong Yan, Pranav Subramaniam, Shan LuUniversity of Chicago, Alvin CheungUniversity of Washington
Pre-print
09:40
20m
Talk
Speedoo: Prioritizing Performance Optimization Opportunities
Technical Papers
Zhifei Chen, Bihuan ChenFudan University, Lu Xiao, Xiao WangPurdue University, USA, Lin Chen, Yang LiuNanyang Technological University, Singapore, Baowen Xu
10:00
20m
Talk
Empirical Study on the Discrepancy between Performance Testing Results from Virtual and Physical Environments
Journal first papers
Muhammad Moiz ArifConcordia University, Montreal, Canada, Weiyi ShangConcordia University, Canada, Emad ShihabConcordia University
10:20
10m
Talk
Q&A in groups
Technical Papers