ASE 2025
Sun 16 - Thu 20 November 2025 Seoul, South Korea

This program is tentative and subject to change.

Wed 19 Nov 2025 12:00 - 12:10 at Vista - Test Generation, Selection & Prioritization 1

Recently, Large Language Models (LLMs) have gained attention for their ability to handle a broad range of tasks, including unit test generation. Despite their success, LLMs may exhibit hallucinations when generating unit tests for focal methods or functions due to their lack of awareness regarding the project’s global context. While many studies have explored the role of context, they often extract fixed patterns of context for different models and focal methods, which may not be suitable for all generation processes (e.g., excessive irrelevant context could lead to redundancy, preventing the model from focusing on essential information). To overcome this limitation, we propose RATester, which integrates the language server gopls to provide dynamic definition lookup to assist the LLM. When RATester encounters an unfamiliar identifier, it first leverages gopls to fetch relevant definitions and documentation comments, and then uses this global knowledge to guide the LLM. We evaluate the effectiveness and efficiency of RATester compared to baseline approaches by constructing a new Golang dataset from real-world projects. On our dataset, RATester achieves an average line coverage of 26.25%, representing an improvement of 16.30% to 165.69% over the baselines. Furthermore, RATester shows superior performance in mutation testing, successfully killing 25 to 147 more mutants than the baseline approaches.

This program is tentative and subject to change.

Wed 19 Nov

Displayed time zone: Seoul change

11:00 - 12:30
Test Generation, Selection & Prioritization 1Research Papers / Journal-First Track at Vista
11:00
10m
Talk
PALM: Synergizing Program Analysis and LLMs to Enhance Rust Unit Test Coverage
Research Papers
Bei Chu Nanjing University, Yang Feng Nanjing University, Kui Liu Huawei, Hange Shi Nanjing University, Zifan Nan Huawei, Zhaoqiang Guo Software Engineering Application Technology Lab, Huawei, China, Baowen Xu Nanjing University
11:10
10m
Talk
ROR-DSE: ROR adequate test case generation using dynamic symbolic execution
Journal-First Track
11:20
10m
Talk
Reflective Unit Test Generation for Precise Type Error Detection with Large Language Models
Research Papers
Chen Yang Tianjin University, Ziqi Wang Tianjin University, Yanjie Jiang Peking University, Lin Yang Tianjin University, Yuteng Zheng Tianjin University, Jianyi Zhou Huawei Cloud Computing Technologies Co., Ltd., Junjie Chen Tianjin University
11:30
10m
Talk
FailMapper: Automated Generation of Unit Tests Guided by Failure Scenarios
Research Papers
ruiqi dong Swinburne University of Technology, Zehang Deng Swinburne University of Technology, Xiaogang Zhu The University of Adelaide, Xiaoning Du Monash University, Huai Liu Swinburne University of Technology, Shaohua Wang Central University of Finance and Economics, Sheng Wen Swinburne University of Technology, Yang Xiang Digital Research & Innovation Capability Platform, Swinburne University of Technology
11:40
10m
Talk
Advancing Code Coverage: Incorporating Program Analysis with Large Language Models
Journal-First Track
Chen Yang Tianjin University, Junjie Chen Tianjin University, Bin Lin Hangzhou Dianzi University, Ziqi Wang Tianjin University, Jianyi Zhou Huawei Cloud Computing Technologies Co., Ltd.
11:50
10m
Talk
Navigating the Labyrinth: Path-Sensitive Unit Test Generation with Large Language Models
Research Papers
Dianshu Liao the Australian National University, Xin Yin Zhejiang University, Shidong Pan Columbia University & New York University, Chao Ni Zhejiang University, Zhenchang Xing CSIRO's Data61, Xiaoyu Sun Australian National University, Australia
Pre-print
12:00
10m
Talk
Enhancing LLM’s Ability to Generate More Repository-Aware Unit Tests Through Precise Context Injection
Research Papers
Xin Yin Zhejiang University, Chao Ni Zhejiang University, Xinrui Li School of Software Technology, Zhejiang University, Liushan Chen Douyin Co., Ltd., Guojun Ma Douyin Co., Ltd., Xiaohu Yang Zhejiang University
Pre-print
12:10
10m
Talk
Toward Cost-Effective Adaptive Random Testing: An Approximate Nearest Neighbor Approach
Journal-First Track
Rubing Huang Macau University of Science and Technology (M.U.S.T.), Chenhui Cui Macau University of Science and Technology, Junlong Lian Jiangsu University, Haibo Chen Jiangsu University, Dave Towey University of Nottingham Ningbo China, Weifeng Sun
12:20
10m
Talk
Automated Combinatorial Test Generation for Alloy
Research Papers
Agustín Borda Dept. of Computer Science FCEFQyN, University of Rio Cuarto, Germán Regis University of Rio Cuarto and CONICET, Nazareno Aguirre University of Rio Cuarto and CONICET, Marcelo F. Frias Dept. of Software Engineering Instituto Tecnológico de Buenos Aires, Pablo Ponzio Dept. of Computer Science FCEFQyN, University of Rio Cuarto