Tue 10 May 2022 05:20 - 05:25 at ICSE room 2-odd hours - Search-Based Software Engineering 1 Chair(s): Ruchika Malhotra
Wed 11 May 2022 11:20 - 11:25 at ICSE room 3-odd hours - Search-Based Software Engineering 3 Chair(s): Mohamed Wiem Mkaouer
Thu 26 May 2022 11:15 - 11:20 at Room 304+305 - Papers 13: Program Repair and Performance Chair(s): Lars Grunske
Wed 11 May 2022 11:20 - 11:25 at ICSE room 3-odd hours - Search-Based Software Engineering 3 Chair(s): Mohamed Wiem Mkaouer
Thu 26 May 2022 11:15 - 11:20 at Room 304+305 - Papers 13: Program Repair and Performance Chair(s): Lars Grunske
Automatic program repair (APR) regularly faces the challenge of overfitting patches - patches that pass the test suite, but do not actually address the problems when evaluated manually. Currently, overfit detection requires manual inspection or an oracle making quality control of APR an expensive task. With this work, we want to introduce properties in addition to unit tests for APR to address the problem of overfitting.
To that end, we design and implement PropR, a program repair tool for Haskell that leverages both property-based testing (via QuickCheck) and the rich type system and synthesis offered by the Haskell compiler. We compare the repair-ratio, time-to-first-patch and overfitting-ratio when using unit tests, property-based tests, and their combination. Our results show that properties lead to quicker results and have a lower overfit ratio than unit tests. Our results show that while the total number of fixes is reduced, the ratio of overfit patches greatly declines. The created overfit patches provide valuable insight into the underlying problems of the program to repair (e.g., in terms of fault localization or test quality). We consider this step towards fitter, or at least insightful, patches a critical contribution to bring APR into developer workflows.
Tue 10 MayDisplayed time zone: Eastern Time (US & Canada) change
Tue 10 May
Displayed time zone: Eastern Time (US & Canada) change
05:00 - 06:00 | Search-Based Software Engineering 1Technical Track at ICSE room 2-odd hours Chair(s): Ruchika Malhotra Delhi Technological University | ||
05:00 5mTalk | Efficient Online Testing for DNN-Enabled Systems using Surrogate-Assisted and Many-Objective OptimizationDistinguished Paper Award Technical Track Fitash Ul Haq University of Luxembourg, Donghwan Shin University of Luxembourg, Lionel Briand University of Luxembourg; University of Ottawa Pre-print Media Attached | ||
05:05 5mTalk | Unleashing the Power of Compiler Intermediate Representation to Enhance Neural Program Embeddings Technical Track Zongjie Li The Hong Kong University of Science and Technology, Pingchuan Ma HKUST, Huaijin Wang , Shuai Wang Hong Kong University of Science and Technology, Qiyi Tang Tencent Security Keen Lab, Sen Nie Keen Security Lab, Tencent, Shi Wu Tencent Security Keen Lab DOI Pre-print Media Attached | ||
05:10 5mTalk | Control Parameters Considered Harmful: Detecting Range Specification Bugs in Drone Configuration Modules via Learning-Guided Search Technical Track Ruidong Han Xidian University, Chao Yang Xidian University, Siqi Ma The University of New South Wales Canberra, Jianfeng Ma Xidian University, Cong Sun Xidian University, Juanru Li Shanghai Jiao Tong University, Elisa Bertino Purdue University DOI Pre-print Media Attached | ||
05:15 5mTalk | Search-based Diverse Sampling from Real-world Software Product Lines Technical Track Yi Xiang South China University of Technology, Han Huang South China University of Technology, Yuren Zhou School of Data and Computer Science, Sun Yat-sen University, Sizhe Li South China University of Technology, Chuan Luo Beihang University, Qingwei Lin Microsoft Research, Miqing Li University of Birmingham, Xiaowei Yang South China University of Technology DOI Pre-print Media Attached | ||
05:20 5mTalk | PropR: Property-Based Automatic Program Repair Technical Track Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Leonhard Applis Delft University of Technology, Annibale Panichella Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Dave Sands Chalmers DOI Pre-print Media Attached | ||
05:25 5mTalk | Code Search based on Context-aware Code Translation Technical Track Weisong Sun State Key Laboratory for Novel Software Technology, Nanjing University, Chunrong Fang Nanjing University, Yuchen Chen Nanjing University, Guanhong Tao Purdue University, USA, Tingxu Han Nanjing University, Quanjun Zhang Nanjing University Pre-print Media Attached | ||
Wed 11 MayDisplayed time zone: Eastern Time (US & Canada) change
Wed 11 May
Displayed time zone: Eastern Time (US & Canada) change
Thu 26 MayDisplayed time zone: Eastern Time (US & Canada) change
Thu 26 May
Displayed time zone: Eastern Time (US & Canada) change
11:00 - 12:30 | Papers 13: Program Repair and PerformanceTechnical Track / Journal-First Papers at Room 304+305 Chair(s): Lars Grunske Humboldt-Universität zu Berlin | ||
11:00 5mTalk | Trust Enhancement Issues in Program Repair Technical Track Yannic Noller National University of Singapore, Ridwan Salihin Shariffdeen National University of Singapore, Xiang Gao Beihang University, China, Abhik Roychoudhury National University of Singapore Pre-print Media Attached | ||
11:05 5mTalk | DEAR: A Novel Deep Learning-based Approach for Automated Program Repair Technical Track Yi Li New Jersey Institute of Technology, Shaohua Wang New Jersey Institute of Technology, Tien N. Nguyen University of Texas at Dallas Pre-print | ||
11:10 5mTalk | Neural Program Repair using Execution-based Backpropagation Technical Track He Ye KTH Royal Institute of Technology, Matias Martinez University of Valenciennes, Martin Monperrus KTH Royal Institute of Technology Pre-print Media Attached | ||
11:15 5mTalk | PropR: Property-Based Automatic Program Repair Technical Track Matthías Páll Gissurarson Chalmers University of Technology, Sweden, Leonhard Applis Delft University of Technology, Annibale Panichella Delft University of Technology, Arie van Deursen Delft University of Technology, Netherlands, Dave Sands Chalmers DOI Pre-print Media Attached | ||
11:20 5mTalk | Predicting unstable software benchmarks using static source code features Journal-First Papers Christoph Laaber Simula Research Laboratory, Mikael Basmaci University of Zurich, Pasquale Salza University of Zurich Link to publication DOI Media Attached | ||
11:25 5mTalk | Using Reinforcement Learning for Load Testing of Video Games Technical Track Rosalia Tufano Università della Svizzera Italiana, Simone Scalabrino University of Molise, Luca Pascarella Università della Svizzera italiana (USI), Emad Aghajani Software Institute, USI Università della Svizzera italiana, Rocco Oliveto University of Molise, Gabriele Bavota Software Institute, USI Università della Svizzera italiana Pre-print Media Attached | ||
11:30 5mTalk | On Debugging the Performance of Configurable Software Systems: Developer Needs and Tailored Tool Support Technical Track Miguel Velez Carnegie Mellon University, Pooyan Jamshidi University of South Carolina, Norbert Siegmund Leipzig University, Sven Apel Saarland University, Christian Kästner Carnegie Mellon University Pre-print Media Attached | ||
11:35 5mTalk | Adaptive Performance Anomaly Detection for Online Service Systems via Pattern Sketching Technical Track Zhuangbin Chen Chinese University of Hong Kong, China, Jinyang Liu , Yuxin Su Sun Yat-sen University, Hongyu Zhang University of Newcastle, Xiao Ling Huawei Technologies, Yongqiang Yang Huawei Technologies, Michael Lyu The Chinese University of Hong Kong Pre-print Media Attached | ||
Information for Participants
Tue 10 May 2022 05:00 - 06:00 at ICSE room 2-odd hours - Search-Based Software Engineering 1 Chair(s): Ruchika Malhotra
Info for room ICSE room 2-odd hours:
Wed 11 May 2022 11:00 - 12:00 at ICSE room 3-odd hours - Search-Based Software Engineering 3 Chair(s): Mohamed Wiem Mkaouer
Info for room ICSE room 3-odd hours: