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

This program is tentative and subject to change.

Wed 19 Nov 2025 16:40 - 16:50 at Grand Hall 1 - Testing & Analysis 3

Current call graph generation methods for ArkTS, a new programming language for OpenHarmony, exhibit precision limitations when supporting advanced static analysis tasks such as data flow analysis and vulnerability pattern detection, while the workflow of traditional JavaScript(JS)/TypeScript(TS) analysis tools fails to interpret ArkUI component tree semantics. The core technical bottleneck originates from the closure mechanisms inherent in TypeScript’s dynamic language features and the interaction patterns involving OpenHarmony’s framework APIs. Existing static analysis tools for ArkTS struggle to achieve effective tracking and precise deduction of object reference relationships, leading to topological fractures in call graph reachability and diminished analysis coverage. This technical limitation fundamentally constrains the implementation of advanced program analysis techniques. Therefore, in this paper, we propose a tool named ArkAnalyzer Pointer Analysis Kit (APAK), the first context-sensitive pointer analysis framework specifically designed for ArkTS. APAK addresses these challenges through a unique ArkTS heap object model and a highly extensible plugin architecture, ensuring future adaptability to the evolving OpenHarmony ecosystem. In the evaluation, we construct a dataset from 1,663 real-world applications in the OpenHarmony ecosystem to evaluate APAK, demonstrating APAK’s superior performance over CHA/RTA approaches in critical metrics including valid edge coverage (e.g., a 7.1% reduction compared to CHA and a 34.2% increase over RTA). The improvement in edge coverage systematically reduces false positive rates from 20% to 2%, enabling future exploration of establishing more complex program analysis tools based on our framework. Our proposed APAK has been merged into the official static analysis framework ArkAnalyzer for OpenHarmony.

This program is tentative and subject to change.

Wed 19 Nov

Displayed time zone: Seoul change

16:00 - 17:00
Testing & Analysis 3NIER Track / Industry Showcase at Grand Hall 1
16:00
10m
Talk
Acceleration of Automotive Software Development by Retrieval Augmented Integration Test Script Generation
Industry Showcase
Masashi Mizoguchi Hitachi Ltd., Kentaro Yoshimura Hitachi, Ltd., Keita Nakazawa Astemo, Ltd., Yasuomi D. Sato Astemo, Ltd., Takahiro Iida Astemo, Ltd., Fumio Narisawa Astemo, Ltd.
16:10
10m
Talk
LLM-Powered Fully Automated Chaos Engineering: Towards Enabling Anyone to Build Resilient Software Systems at Low Cost
NIER Track
Daisuke Kikuta NTT, Inc., Hiroki Ikeuchi NTT, Inc., Kengo Tajiri NTT, Inc.
Pre-print Media Attached
16:20
10m
Talk
Practical Escape of Exploration Tarpits for Mini-Game Testing in an Industrial Setting
Industry Showcase
Yuan Cao Peking University, Dezhi Ran Peking University, Haochuan Lu Tencent, Chao Guo Tencent Inc., Xuran Hao Peking University, Zhuoru Chen Capital Normal University, Ting Xiong Tencent Inc., Yuetang Deng Tencent, Tao Xie Peking University
16:30
10m
Talk
Streamlining Acceptance Test Generation for Mobile Applications Through Large Language Models: An Industrial Case Study
Industry Showcase
Pedro Luís Fonseca Critical TechWorks and Faculty of Engineering, University of Porto, Bruno Lima LIACC, Faculty of Engineering, University of Porto, João Pascoal Faria Faculty of Engineering, University of Porto and INESC TEC
Pre-print
16:40
10m
Talk
Context-Sensitive Pointer Analysis for ArkTS
Industry Showcase
Yizhuo Yang Beihang University, Lingyun Xu Huawei, Mingyi Zhou Beihang University, Li Li Beihang University
16:50
10m
Talk
Element-Aware Fine-Tuning of Vision-Language Models for Cost-Efficient GUI Testing in an Industrial Setting
Industry Showcase
Mengzhou Wu Peking University, Yuzhe Guo Beijing Jiaotong University, Yuan Cao Peking University, Haochuan Lu Tencent, Hengyu Zhang Tencent Inc., Xia Zeng Tencent, Liangchao Yao Tencent Inc., Yuetang Deng Tencent, Dezhi Ran Peking University, Wei Yang UT Dallas, Tao Xie Peking University