FORGE 2025
Sun 27 - Mon 28 April 2025 Ottawa, Ontario, Canada
co-located with ICSE 2025

This program is tentative and subject to change.

Mon 28 Apr 2025 16:45 - 16:57 at 207 - FORGE2025 Tutorial & Session5: FM Evaluation

Refactoring is the process of restructuring existing code without changing its external behavior while improving its internal structure. Refactoring engines are integral components of modern Integrated Development Environments (IDEs) and can automate or semi-automate this process to enhance code readability, reduce complexity, and improve the maintainability of software products. Similar to traditional software systems such as compilers, refactoring engines may also contain bugs that can lead to unexpected behaviors. In this paper, we propose a novel approach called RETESTER, a LLM-based framework for automated refactoring engine testing. Specifically, by using input program structure templates extracted from historical bug reports and input program characteristics that are error- prone, we design chain-of-thought (CoT) prompts to perform refactoring-preserving transformations. The generated variants are then tested on the latest version of refactoring engines using differential testing. We evaluate RETESTER on two most popular modern refactoring engines (i.e., ECLIPSE, and INTELLIJ IDEA). It successfully revealed 18 new bugs in the latest version of those refactoring engines. By the time we submit our paper, seven of them were confirmed by their developers, and two were fixed.

This program is tentative and subject to change.

Mon 28 Apr

Displayed time zone: Eastern Time (US & Canada) change

16:00 - 17:30
FORGE2025 Tutorial & Session5: FM EvaluationKeynotes / Tutorials / Research Papers at 207
16:00
45m
Tutorial
Beyond Code Generation: Evaluating and Improving LLMs for Code Intelligence
Tutorials
Fatemeh Hendijani Fard University of British Columbia
16:45
12m
Long-paper
Testing Refactoring Engine via Historical Bug Report driven LLM
Research Papers
Haibo Wang , Zhuolin Xu Concordia University, Shin Hwei Tan Concordia University
Pre-print
16:57
12m
Long-paper
Cyber-Attack Detection and Localization for SCADA system of CPSs
Research Papers
Dan Li Sun Yat-sen University, Junnan Tang Sun Yat-Sen University, Shunyu Wu Sun Yat-Sen University, Zibin Zheng Sun Yat-sen University, See-Kiong Ng National University of Singapore
17:09
12m
Long-paper
A Comprehensive Study of Bug Characteristics on Foundation Language Models
Research Papers
Junxiao Han , Guanqi Wang Zhejiang University, Jiakun Liu Singapore Management University, Lingfeng Bao Zhejiang University, Xing Hu Zhejiang University, Jinling Wei Hangzhou City University, Shuiguang Deng Zhejiang University; Alibaba-Zhejiang University Joint Institute of Frontier Technologies
17:21
9m
Day closing
Closing Session
Keynotes

:
:
:
: