AIware 2025
Wed 19 - Thu 20 November 2025
co-located with
ASE 2025
Toggle navigation
Attending
Attending: Registration
Venue: Grand Walkerhill Seoul
About Seoul
Accommodations
Transportation
Program
AIware Program
Your Program
Wed 19 Nov
Thu 20 Nov
Tracks
AIware 2025
Keynotes
Main Track
ArXiv Track
Benchmark & Dataset Track
Industry Demo Track
Organization
AIware 2025 Committees
Steering Committee
Organizing Committee
Track Committees
Main Track
ArXiv Track
Benchmark & Dataset Track
Contributors
People Index
Search
Series
Series
AIware 2025
AIware 2024
Sign in
Sign up
ASE 2025
(
series
) /
AIware 2025
(
series
) /
Grand Walkerhill Seoul
/
Room information: Grand Hall 2
Venue
Grand Walkerhill Seoul
Room name
Grand Hall 2
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
Time Zone
The program is currently displayed in
(GMT+09:00) Seoul
.
Use conference time zone: (GMT+09:00) Seoul
Select other time zone
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
The GMT offsets shown reflect the offsets
at the moment of the conference
.
Time Band
By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.
Display full program
Specify a time band
-
Save
×
You're viewing the program in a time zone which is different from your device's time zone
change time zone
Sun 16 Nov
Displayed time zone:
Seoul
change
08:30 - 10:00
AI & Developer Support
ASYDE
at
Grand Hall 2
09:05
15m
Short-paper
LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rule-Based Verification of Map Transformations
ASYDE
Ruidi He
Technische Universität Clausthal
,
Yu Zhang
Technische Universität Clausthal
,
Meng Zhang
Institut für Software and Systems Engineering, TU Clausthal, Germany
,
Andreas Rausch
09:20
20m
Full-paper
On Effectiveness of Formal Model Repair by Large Language Models
ASYDE
Sebastião Carvalho
Universidade de Lisboa, Instituto Superior Técnico, INESC-ID
,
Tsutomu Kobayashi
Japan Aerospace Exploration Agency (JAXA)
,
Fuyuki Ishikawa
National Institute of Informatics
09:40
20m
Full-paper
Pre-Filtering Code Suggestions using Developer Behavioral Telemetry to Optimize LLM-Assisted Programming
ASYDE
Mohammad Nour Al Awad
ITMO University
,
Sergey Ivanov
ITMO University
,
Olga Tikhonova
10:30 - 12:30
Verification, Testing, and Model-Driven Engineering
ASYDE
at
Grand Hall 2
10:30
20m
Full-paper
BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Coverage
ASYDE
Markus Krahl
Munich University of Applied Sciences
,
Matthias Güdemann
University of Applied Sciences Munich
,
Stefan Wallentowitz
University of Applied Sciences Munich
10:50
20m
Full-paper
Improving Automated Program Verification for Java Programs with Fuzzing
ASYDE
Soha Hussein
Ain Shams University, Egypt
,
Stephen McCamant
University of Minnesota, USA
11:10
20m
Full-paper
ForeSPECT: A Model-Driven Framework for Validation and Traceability in Forecasting Systems
ASYDE
Rijul Saini
NAV CANADA
11:30
20m
Full-paper
Regression Testing Skill Transfer to Industry: A Preliminary Study in Higher Education
ASYDE
Andrada-Mihaela-Nicoleta Moldovan
University Babeș-Bolyai
,
Andreea Vescan
Babes-Bolyai University
11:50
15m
Short-paper
VeriODD: From YAML to SMT-LIB – Automating Verification of Operational Design Domains
ASYDE
Bassel Rafie
Institute for Software and Systems Engineering, Clausthal University of Technology
,
Christian Schindler
Institute for Software and Systems Engineering, Clausthal University of Technology
,
Andreas Rausch
12:05
15m
Short-paper
MicroViSim: Simulation and Visualization of Kubernetes-Based Microservice Systems
ASYDE
Wei-Kai Lin
National Taiwan Ocean University
,
Shang-Pin Ma
National Taiwan Ocean University
,
Shin-Jie Lee
National Cheng Kung University
,
Wen-Tin Lee
National Taiwan Normal University
Mon 17 Nov
Displayed time zone:
Seoul
change
11:00 - 12:30
Bug Understanding 1
ASE Research Papers
/
ASE Journal-First Track
at
Grand Hall 2
11:00
10m
Talk
The Fault in our Stats
ASE Research Papers
Alexi Turcotte
CISPA
,
Neev Nirav Mehta
Saarland University
11:10
10m
Talk
Agents in the Sandbox: End-to-End Crash Bug Reproduction for Minecraft
ASE Research Papers
Eray Yapağcı
Bilkent University
,
Yavuz Alp Sencer Öztürk
Bilkent University
,
Eray Tüzün
Bilkent University
11:20
10m
Talk
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
ASE Research Papers
Jingjing Liang
East China Normal University
,
Shan Huang
East China Normal University
,
Ting Su
East China Normal University
11:30
10m
Talk
Why Do Machine Learning Notebooks Crash? An Empirical Study on Public Python Jupyter Notebooks
ASE Journal-First Track
Yiran Wang
Linköping University
,
Willem Meijer
Linköping University
,
José Antonio Hernández López
Universidad de Murcia
,
Ulf Nilsson
Linköping University
,
Daniel Varro
Linköping University / McGill University
11:40
10m
Talk
When AllClose Fails: Round-Off Error Estimation for Deep Learning Programs
ASE Research Papers
Qi Zhan
Zhejiang University
,
Xing Hu
Zhejiang University
,
Yuanyi Lin
Huawei Technologies
,
Tongtong Xu
Huawei
,
Xin Xia
Zhejiang University
,
Shanping Li
Zhejiang University
11:50
10m
Talk
LLM-Powered Multi-Agent Collaboration for Intelligent Industrial On-Call Automation
ASE Research Papers
Ruowei Fu
Nankai University
,
Yang Zhang
ByteDance Inc.
,
Zeyu Che
Nankai University
,
Xin Wu
ByteDance Inc.
,
Zhenyu Zhong
Nankai University
,
Zhiqiang Ren
ByteDance Inc.
,
Shenglin Zhang
Nankai University
,
Feng Wang
ByteDance Inc.
,
Yongqian Sun
Nankai University
,
Xiaozhou Liu
ByteDance Inc.
,
Kexin Liu
Nankai University
,
Yu Zhang
ByteDance Inc.
12:00
10m
Talk
SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Defects in DeFi Staking
ASE Research Papers
Zewei Lin
Sun Yat-sen University
,
Jiachi Chen
Sun Yat-sen University
,
Jingwen Zhang
School of Software Engineering, Sun Yat sen University
,
Zexu Wang
Sun Yat-sen University
,
Yuming Feng
Peng Cheng Laboratory
,
Weizhe Zhang
Harbin Institute of Technology
,
Zibin Zheng
Sun Yat-sen University
12:10
10m
Talk
Finding Bugs in WebAssembly Interface Type Binding Generators
ASE Research Papers
Ethan Stanley
University of Utah
,
Eric Eide
University of Utah
12:20
10m
Talk
LineBreaker: Finding Token-Inconsistency Bugs using Large Language Models
ASE Research Papers
Hongbo Chen
Indiana University Bloomington
,
Yifan Zhang
San Diego State University
,
Xing Han
The Hong Kong University of Science and Technology
,
Tianhao Mao
Indiana University
,
Huanyao Rong
Indiana University Bloomington
,
Yuheng Zhang
Tsinghua University
,
Hang Zhang
Indiana University
,
XiaoFeng Wang
ACM member
,
Luyi Xing
Indiana University Bloomington/University of Illinois Urbana-Champaign
,
Xun Chen
Samsung Research America
14:00 - 15:30
Translation
ASE Research Papers
/
ASE Journal-First Track
at
Grand Hall 2
14:00
10m
Talk
Enhancing LLM to Decompile Optimized PTX to Readable CUDA for Tensor Programs
ASE Research Papers
Xinyu Sun
University of Science and Technology of China
,
Fugen Tang
University of Science and Technology of China
,
Yu Zhang
University of Science and Technology of China
,
Han Shen
Kuaishou Technology
,
Chengru Song
Kuaishou Technology
,
Di Zhang
Kuaishou Technology
14:10
10m
Talk
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Capability Analysis
ASE Research Papers
Jaemin Hong
KAIST
,
Sukyoung Ryu
KAIST
14:20
10m
Talk
Polyglot: An Extensible Framework to Benchmark Code Translation with LLMs
ASE Research Papers
Marco Vieira
University of North Carolina at Charlotte
,
Priyam Ashish Shah
University of North Carolina at Charlotte
,
Bhavain Shah
University of North Carolina at Charlotte
,
Rrezarta Krasniqi
University of North Carolina at Charlotte
14:30
10m
Talk
RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications
ASE Research Papers
Mrigank Pawagi
Indian Institute of Science, Bengaluru
,
Lize Shao
Rice University, USA
,
Hyeonmin Lee
University of Virginia
,
Yixin Sun
University of Virginia
,
Wenxi Wang
University of Virgina
14:40
10m
Talk
Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
ASE Journal-First Track
Xiaoli Lian
Beihang University, China
14:50
10m
Talk
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
ASE Research Papers
Yubo Bai
University of California, Davis
,
Tapti Palit
University of California, Davis
15:00
10m
Talk
SPEC2CODE: Mapping Software Specification to Function-Level Code Implementation
ASE Research Papers
Yuekun Wang
Singapore Management University
,
Lili Quan
Tianjin University
,
Xiaofei Xie
Singapore Management University
,
Junjie Wang
Tianjin University
,
Jianjun Chen
Tsinghua University
15:10
10m
Talk
RustRepoTrans: Repository-level Context Code Translation Benchmark Targeting Rust
ASE Research Papers
Guangsheng Ou
Sun Yat-sen University
,
Mingwei Liu
Sun Yat-Sen University
,
Yuxuan Chen
,
Yanlin Wang
Sun Yat-sen University
,
Xin Peng
Fudan University
,
Zibin Zheng
Sun Yat-sen University
Pre-print
15:20
10m
Talk
DLBENCH: A Comprehensive Benchmark for SQL Translation with Large Language Models
ASE Research Papers
Li Lin
Xiamen University
,
Hongqiao Chen
School of Informatics, Xiamen University
,
Qinglin Zhu
School of Informatics, Xiamen University
,
Liehang Chen
School of Informatics, Xiamen University
,
Linlong Tang
School of Informatics, Xiamen University
,
Rongxin Wu
Xiamen University
16:00 - 17:00
Bug Understanding 2
ASE Industry Showcase
/
ASE NIER Track
at
Grand Hall 2
16:00
10m
Talk
A Characterization Study of Bugs in LLM Agent Workflow Orchestration Frameworks
ASE Industry Showcase
Ziluo Xue
Huazhong University of Science and Technology
,
Yanjie Zhao
Huazhong University of Science and Technology
,
Shenao Wang
Huazhong University of Science and Technology
,
Kai Chen
Huazhong University of Science and Technology
,
Haoyu Wang
Huazhong University of Science and Technology
16:10
10m
Talk
Debugging the Undebuggable: Why Multi-Fault Programs Break Debugging and Repair Tools
ASE NIER Track
Omar I. Al-Bataineh
Gran Sasso Science Institute (GSSI)
16:20
10m
Talk
ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems
ASE Industry Showcase
Junsong Pu
School of Software Engineering, Sun Yat-sen University
,
Yichen LI
ByteDance
,
Zhuangbin Chen
Sun Yat-sen University
,
Jinyang Liu
ByteDance
,
Zhihan Jiang
The Chinese University of Hong Kong
,
Jianjun Chen
Bytedance
,
Rui Shi
Bytedance
,
Zibin Zheng
Sun Yat-sen University
,
Tieying Zhang
ByteDance
16:30
10m
Talk
Fault Injection for Simulink-based CPS Models: Insights and Future Directions
ASE NIER Track
Drishti Yadav
University of Luxembourg, Luxembourg
,
Claudio Mandrioli
University of Luxembourg
,
Ezio Bartocci
TU Wien
,
Domenico Bianculli
University of Luxembourg
16:40
10m
Talk
How Does ChatGPT Make Assumptions When Creating Erroneous Programs?
ASE NIER Track
Sadia Jahan
University of Texas at San Antonio
,
Xiaoyin Wang
University of Texas at San Antonio
16:50
10m
Talk
Exploring Autonomous Agents: A Closer Look at Why They Fail When Completing Tasks
ASE NIER Track
Ruofan Lu
The Chinese University of Hong Kong
,
Yichen LI
ByteDance
,
Yintong Huo
Singapore Management University, Singapore
Tue 18 Nov
Displayed time zone:
Seoul
change
11:00 - 12:30
Fault Localization
ASE Research Papers
/
ASE Journal-First Track
at
Grand Hall 2
11:00
10m
Talk
FaultSeeker: LLM-Empowered Framework for Blockchain Transaction Fault Localization
ASE Research Papers
Kairan Sun
Nanyang Technological University
,
Zhengzi Xu
Imperial Global Singapore
,
Kaixuan Li
Nanyang Technological University
,
Lyuye Zhang
Nanyang Technological University
,
Yuqiang Sun
Nanyang Technological University
,
Liwei Tan
MetaTrust Labs
,
Yang Liu
Nanyang Technological University
11:10
10m
Talk
FlexFL: Flexible and Effective Fault Localization With Open-Source Large Language Models
ASE Journal-First Track
Chuyang Xu
Zhejiang University
,
Zhongxin Liu
Zhejiang University
,
Xiaoxue Ren
Zhejiang University
,
Gehao Zhang
Ant Group
,
Ming Liang
Ant Group
,
David Lo
Singapore Management University
11:20
10m
Talk
LLM-Based Identification of Null Pointer Exception Patches
ASE Research Papers
Tahir Ullah
Beijing Institute of Technology
,
Waseem Akram
Beijing Institute of Technology
,
Fiza Khaliq
Beijing Institute of Technology
,
Hui Liu
Beijing Institute of Technology
11:30
10m
Talk
SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences of DNN Controller Inferences
ASE Journal-First Track
Deyun Lyu
National Institute of Informatics
,
Zhenya Zhang
Kyushu University, Japan
,
Paolo Arcaini
National Institute of Informatics
,
Xiao-Yi Zhang
University of Science and Technology Beijing
,
Fuyuki Ishikawa
National Institute of Informatics
,
Jianjun Zhao
Kyushu University
11:40
10m
Talk
Sifting Truth from Coincidences: A Two-Stage Positive and Unlabeled Learning Model for Coincidental Correctness Detection
ASE Research Papers
Chunyan Liu
Chongqing University
,
Huan Xie
Chongqing University
,
Yan Lei
Chongqing University
,
Zhenyu Wu
School of Big Data & Software Engineering, Chongqing University
,
Jinping Wang
Chonqing University
11:50
10m
Talk
Let the Code Speak: Incorporating Program Dynamic State for Better Method-Level Fault Localization
ASE Research Papers
Yihao Qin
,
Shangwen Wang
National University of Defense Technology
,
Bo Lin
National University of Defense Technology
,
Xin Peng
,
Sheng Ouyang
National University of Defense Technology
,
Liqian Chen
National University of Defense Technology
,
Xiaoguang Mao
National University of Defense Technology
12:00
10m
Talk
Issue Localization via LLM-Driven Iterative Code Graph Searching
ASE Research Papers
Zhonghao Jiang
Zhejiang University
,
Xiaoxue Ren
Zhejiang University
,
Meng Yan
Chongqing University
,
Wei Jiang
Ant Group
,
Yong Li
Ant Group
,
Zhongxin Liu
Zhejiang University
12:10
10m
Talk
Hypergraph Neural Network-based Multi-Granular Root Cause Localization for Microservice Systems
ASE Research Papers
Yaxiao Li
Xidian University
,
Lu Wang
Xidian University
,
Chenxi Zhang
Xidian University
,
Qingshan Li
Xidian University
,
Siming Rong
Xidian University
,
Baiyang Wen
Xidian University
,
Xuyang Li
Purdue University
,
Kun Ma
Xidian University
,
Quanwei Du
Xidian University
,
KeYang Li
Xidian University
,
Lingfeng Pan
Xidian University
,
Xinyue Li
Peking University
,
MingXuan Hui
Xidian University
12:20
10m
Talk
Explainable Fault Localization for Programming Assignments via LLM-Guided Annotation
ASE Research Papers
Fang Liu
Beihang University
,
Tianze Wang
Beihang University
,
Li Zhang
Beihang University
,
Zheyu Yang
Beihang University
,
Jing Jiang
Beihang University
,
Zian Sun
Beihang University
Pre-print
14:00 - 15:30
Fuzzing 1
ASE Research Papers
/
ASE Journal-First Track
at
Grand Hall 2
14:00
10m
Talk
RSFuzz: A Robustness-Guided Swarm Fuzzing Framework Based on Behavioral Constraints
ASE Research Papers
Ruoyu Zhou
School of Computer Science and Technology, Xidian University, Xi'an, China; Shaanxi Key Laboratory of Network and System Security, Xidian University, Xi'an, China
,
Zhiwei Zhang
School of Computer Science and Technology, Xidian University, Xi'an, China; Shaanxi Key Laboratory of Network and System Security, Xidian University, Xi'an, China
,
Haocheng Han
School of Computer Science and Technology, Xidian University, Xi'an, China; Shaanxi Key Laboratory of Network and System Security, Xidian University, Xi'an, China
,
Xiaodong Zhang
University of Chinese Academy of Science
,
Zehan Chen
School of Computer Science and Technology, Xidian University, Xi’an, China; Shaanxi Key Laboratory of Network and System Security , Xidian University
,
Jun Sun
Singapore Management University
,
Yulong Shen
Xidian University
,
Dehai Xu
Yiqiyin (Hangzhou) Technology Co., Ltd. Xi'an Branch, Xi'an, China
14:10
10m
Talk
DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directional Fuzzing
ASE Research Papers
Yuanliang Chen
Tsinghua University
,
Fuchen Ma
Tsinghua University
,
Yanyang Zhao
Tsinghua University
,
Yuanyi Li
Shuimu Yulin Technology Co., Ltd
,
Yu Jiang
Tsinghua University
14:20
10m
Talk
ORFuzz: Fuzzing the "Other Side" of LLM Safety – Testing Over-Refusal
ASE Research Papers
Haonan Zhang
Zhejiang University
,
Dongxia Wang
Zhejiang University
,
Yi Liu
Nanyang Technological University
,
Kexin Chen
Zhejiang University
,
Jiashui Wang
Zhejiang University
,
Xinlei Ying
Ant Group
,
Long Liu
Ant Group
,
Wenhai Wang
Zhejiang University
Pre-print
14:30
10m
Talk
DNAFuzz: Descriptor-Aware Fuzzing for USB Drivers
ASE Research Papers
Zhengshu Wang
Hubei University
,
Peng He
Hubei University
,
Fuchen Ma
Tsinghua University
,
Yuanliang Chen
Tsinghua University
,
Shuoshuo Duan
Shuimu Yulin Technology Co., Ltd
,
Yiyuan Bai
Shuimu Yulin Technology Co., Ltd
,
Yu Jiang
Tsinghua University
14:40
10m
Talk
ARG: Testing Query Rewriters via Abstract Rule Guided Fuzzing
ASE Research Papers
Dawei Li
Beihang University
,
Yuxiao Guo
Beihang University
,
Qifan Liu
Beihang University
,
Jie Liang
Beihang University
,
Zhiyong Wu
Tsinghua University, China
,
Jingzhou Fu
School of Software, Tsinghua University
,
Chi Zhang
Tsinghua University
,
Yu Jiang
Tsinghua University
14:50
10m
Talk
Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths
ASE Research Papers
Peng Deng
Fudan University
,
Lei Zhang
Fudan University
,
Jingqi Long
Fudan University
,
Wenzheng Hong
Independent
,
Zhemin Yang
Fudan University
,
Yuan Zhang
Fudan University
,
Donglai Zhu
Fudan University
,
Min Yang
Fudan University
15:00
10m
Talk
Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Framework for MLIR
ASE Research Papers
Zeyu Sun
Institute of Software, Chinese Academy of Sciences
,
Jingjing Liang
East China Normal University
,
Weiyi Wang
Institute of Software, Chinese Academy of Sciences
,
Chenyao Suo
Tianjin University
,
Junjie Chen
Tianjin University
,
Fanjiang Xu
Institute of Software at Chinese Academy of Sciences
15:10
10m
Talk
RCFuzz: Recommendation-based Collaborative Fuzzer
ASE Journal-First Track
Hyeonmin Mo
Hanyang University
,
Jongmun Yang
Hanyang University
,
Yunho Kim
Hanyang University
15:20
10m
Talk
WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing Schedule
ASE Research Papers
Xiaogang Zhu
The University of Adelaide
,
Enze Dai
Shenzhen International Graduate School, Tsinghua University
,
Xiaotao Feng
360 Vulnerability Research Institute
,
Shaohua Wang
Central University of Finance and Economics
,
Xin Xia
Zhejiang University
,
Sheng Wen
Swinburne University of Technology
,
Kwok-Yan Lam
Nanyang Technological University, Singapore
,
Yang Xiang
Digital Research & Innovation Capability Platform, Swinburne University of Technology
16:00 - 17:00
Security 3
ASE Industry Showcase
/
ASE NIER Track
at
Grand Hall 2
16:00
10m
Talk
Measuring Software Resilience Using Socially Aware Truck Factor Estimation
ASE NIER Track
Alexis Butler
Royal Holloway University of London
,
Dan O'Keeffe
Royal Holloway, University of London
,
Santanu Dash
University of Surrey
16:10
10m
Talk
Should We Evaluate LLM Based Security Analysis Approaches on Open Source Systems?
ASE Industry Showcase
Kohei Dozono
Technical University of Munich
,
Jonas Engesser
Technical University of Munich
,
Benjamin Hummel
CQSE GmbH
,
Alexander Pretschner
TU Munich
,
Tobias Roehm
CQSE GmbH
16:20
10m
Talk
DALEQ - Explainable Equivalence for Java Bytecode
ASE Industry Showcase
Jens Dietrich
Victoria University of Wellington
,
Behnaz Hassanshahi
Oracle
16:30
10m
Talk
A Secure Mocking Approach towards Software Supply Chain Security
ASE NIER Track
Daisuke Yamaguchi
NTT, Inc.
,
Shinobu Saito
NTT, Inc.
,
Takuya Iwatsuka
NTT
,
Nariyoshi Chida
NTT, Inc
,
Tachio Terauchi
Waseda University
16:40
10m
Talk
TRON: Fuzzing Linux Network Stack via Protocol-System Call Payload Synthesis
ASE Industry Showcase
Qiang Zhang
Hunan University
,
Yifei Chu
Tsinghua University
,
Yuheng Shen
Tsinghua University
,
Jianzhong Liu
Tsinghua University
,
Heyuan Shi
Central South University
,
Yu Jiang
Tsinghua University
,
Wanli Chang
College of Computer Science and Electronic Engineering, Hunan University
16:50
10m
Talk
Industry Practice of LLM-Assisted Protocol Fuzzing for Commercial Communication Modules
ASE Industry Showcase
Qiang Fu
Central South University
,
Changjian Liu
Central South University
,
Yuan Ding
China Mobile IoT
,
Chao Fan
China Mobile IoT
,
Yulai Fu
,
Yuhan Chen
Central South Sniversity
,
Ying Fu
Tsinghua University
,
Ronghua Shi
Central South University
,
Fuchen Ma
Tsinghua University
,
Heyuan Shi
Central South University
Wed 19 Nov
Displayed time zone:
Seoul
change
11:00 - 12:30
Web & Mobile Systems 1
ASE Research Papers
/
ASE Journal-First Track
at
Grand Hall 2
11:00
10m
Talk
Resolving Conditional Implicit Calls to Improve Static and Dynamic Analysis in Android Apps
ASE Journal-First Track
Jordan Samhi
University of Luxembourg, Luxembourg
,
René Just
University of Washington
,
Michael D. Ernst
University of Washington
,
Tegawendé F. Bissyandé
University of Luxembourg
,
Jacques Klein
University of Luxembourg
11:10
10m
Talk
GlassWing: A Tailored Static Analysis Approach for Flutter Android Apps
ASE Research Papers
Xiangyu Zhang
DISSec, NDST, College of Cyber Science, Nankai University, China
,
Yucheng Su
Intelligence and Offensive Defense Lab, Xiaohongshu Inc., China
,
Lingling Fan
Nankai University
,
Miaoying Cai
DISSec, NDST, College of Cyber Science, Nankai University, China
,
Sen Chen
Nankai University
11:20
10m
Talk
Characterizing and Repairing Color-Related Accessibility Issues in Android Apps
ASE Research Papers
Jiahao Gu
Xiamen University
,
Huaxun Huang
Xiamen University
11:30
10m
Talk
Generating Failure-Based Oracles to Support Testing of Reported Bugs in Android Apps
ASE Research Papers
Jack Johnson
University of Minnesota
,
Junayed Mahmud
University of Central Florida
,
Oscar Chaparro
William & Mary
,
Kevin Moran
University of Central Florida
,
Mattia Fazzini
University of Minnesota
11:40
10m
Talk
On the (In)Security of Non-resettable Device Identifiers in Custom Android Systems
ASE Research Papers
Zikan Dong
Beijing University of Posts and Telecommunications
,
Liu Wang
Beijing University of Posts and Telecommunications
,
Guoai Xu
Harbin Institute of Technology, Shenzhen
,
Haoyu Wang
Huazhong University of Science and Technology
11:50
10m
Talk
Don't Mess with Bro's Cheese! An Empirical Study of Resource Conflict in Android Multi-window
ASE Research Papers
Chenkai Guo
Nankai University, China
,
Huimin Zhao
College of Cryptology and Cyber Science, Nankai University
,
Tianhong Wang
College of Computer Science, Nankai University
,
Naipeng Dong
The University of Queensland, Australia
,
Qingqing Dong
College of Cryptology and Cyber Science, Nankai University
,
Jiarui Che
College of Computer Science, Nankai University
,
Yaqiong Qiao
College of Cryptology and Cyber Science, Nankai University
,
Xiangyang Luo
State Key Laboratory of Mathematical Engineering and Advanced Computing
,
Zheli Liu
Nankai University
12:00
10m
Talk
Profile Coverage: Using Android Compilation Profiles to Evaluate Dynamic Testing
ASE Research Papers
Jakob Bleier
TU Wien
,
Felix Kehrer
TU Wien
,
Jürgen Cito
TU Wien
,
Martina Lindorfer
TU Wien
Pre-print
12:10
10m
Talk
NATE: A Network-Aware Testing Enhancer for Network-Related Fault Detection in Android Apps
ASE Research Papers
Yuanhong Lan
Nanjing University
,
Shaoheng Cao
Nanjing University
,
Yifei Lu
State Key Laboratory for Novel Software Technology, Nanjing University, China
,
Minxue Pan
Nanjing University
,
Xuandong Li
Nanjing University
12:20
10m
Talk
Automated Detection of Web Application Navigation Barriers for Screen Reader Users
ASE Research Papers
Shubhi Jain
University of California, Irvine
,
Syed Fatiul Huq
University of California, Irvine
,
Ziyao He
University of California, Irvine
,
Sam Malek
University of California at Irvine
14:00 - 15:30
Fuzzing 2
ASE Journal-First Track
/
ASE Research Papers
at
Grand Hall 2
14:00
10m
Talk
Terminator: enabling efficient fuzzing of closed-source GUI programs by automatic coverage-guided termination
ASE Research Papers
Jonas Zabel
Fraunhofer SIT | ATHENE
,
Philip Kolvenbach
,
Steven Arzt
Fraunhofer SIT; ATHENE
14:10
10m
Talk
Function Clustering-Based Fuzzing Termination: Toward Smarter Early Stopping
ASE Research Papers
ding liang
University of Science and Technology of China
,
Wenzhang Yang
Institute of AI for industries
,
Yinxing Xue
Institute of AI for Industries, Chinese Academy of Sciences
14:20
10m
Talk
Risk Estimation in Differential Fuzzing via Extreme Value Theory
ASE Research Papers
Rafael Baez
University of Texas at El Paso
,
Alejandro Olivas
University of Texas at El Paso
,
Nathan K Diamond
University of Texas at El Paso
,
Marcelo F. Frias
Dept. of Software Engineering Instituto Tecnológico de Buenos Aires
,
Yannic Noller
Ruhr University Bochum
,
Saeid Tizpaz-Niari
University of Illinois Chicago
14:30
10m
Talk
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs
ASE Journal-First Track
Andrea Arcuri
Kristiania University College and Oslo Metropolitan University
,
Man Zhang
Beihang University, China
,
Juan Pablo Galeotti
University of Buenos Aires
14:40
10m
Talk
BCFuzz: Bytecode-Driven Fuzzing for JavaScript Engines
ASE Research Papers
Jiming Wang
SKLP, Institute of Computing Technology, CAS & University of Chinese Academy of Sciences
,
Chenggang Wu
Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences; Zhongguancun Laboratory
,
Jikai Ren
SKLP, Institute of Computing Technology, CAS & University of Chinese Academy of Sciences
,
Yuhao Hu
SKLP, Institute of Computing Technology, CAS & University of Chinese Academy of Sciences
,
Yan Kang
Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Xiaojie Wei
SKLP, Institute of Computing Technology, CAS
,
Yuanming Lai
Institute of Computing Technology at Chinese Academy of Sciences; University of Chinese Academy of Sciences
,
Mengyao Xie
SKLP, Institute of Computing Technology, CAS
,
Zhe Wang
Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun Laboratory
14:50
10m
Talk
LSPFuzz: Hunting Bugs in Language Servers
ASE Research Papers
Hengcheng Zhu
The Hong Kong University of Science and Technology
,
Songqiang Chen
The Hong Kong University of Science and Technology
,
Valerio Terragni
University of Auckland
,
Lili Wei
McGill University
,
Yepang Liu
Southern University of Science and Technology
,
Jiarong Wu
,
Shing-Chi Cheung
Hong Kong University of Science and Technology
Pre-print
15:00
10m
Talk
TEPHRA: Principled Discovery of Fuzzer Limitations
ASE Research Papers
Vasil Sarafov
μCSRL, CODE Research Institute, University of the Bundeswehr Munich
,
David Markvica
μCSRL, CODE Research Institute, University of the Bundeswehr Munich
,
Stefan Brunthaler
μCSRL, CODE Research Institute, University of the Bundeswehr Munich
15:10
10m
Talk
Learning-Guided Fuzzing for Testing Stateful SDN Controllers
ASE Journal-First Track
Raphaël Ollando
University of Luxembourg
,
Seung Yeob Shin
University of Luxembourg
,
Lionel Briand
University of Ottawa, Canada; Lero centre, University of Limerick, Ireland
15:20
10m
Talk
Learning from the Past: Real-World Exploit Migration for Smart Contract PoC Generation
ASE Research Papers
Kairan Sun
Nanyang Technological University
,
Zhengzi Xu
Imperial Global Singapore
,
Kaixuan Li
Nanyang Technological University
,
Lyuye Zhang
Nanyang Technological University
,
Yebo Feng
Nanyang Technological University
,
Daoyuan Wu
Lingnan University
,
Yang Liu
Nanyang Technological University
16:00 - 17:00
Testing & Analysis 4
ASE Industry Showcase
/
ASE NIER Track
at
Grand Hall 2
16:00
10m
Talk
Minuku: Detecting Diverse Display Issues in Mobile Apps with Small-scale Dataset
ASE Industry Showcase
Yongxiang Hu
Fudan University
,
Ke Liu
College of Computer Science and Artificial Intelligence, Fudan University
,
Hailiang Jin
Meituan Inc.
,
Shiyu Guo
Meituan
,
Juxing Yuan
Meituan Inc.
,
Xin Wang
Fudan University
,
Yangfan Zhou
Fudan University
16:10
10m
Talk
HarmoBridge: Bridging ArkTS and C/C++ for Cross-Language Static Analysis on HarmonyOS
ASE Industry Showcase
Jiale Wu
Huazhong University of Science and Technology
,
Jiapeng Deng
Huazhong University of Science and Technology
,
Yanjie Zhao
Huazhong University of Science and Technology
,
Li Li
Beihang University
,
Haoyu Wang
Huazhong University of Science and Technology
16:20
10m
Talk
From Redundancy to Efficiency: Exploiting Shared UI Interactions towards Efficient LLM-Based Testing
ASE Industry Showcase
Xuan Wang
Fudan University
,
Yingchuan Wang
School of Computer Science, Fudan University
,
Yongxiang Hu
Fudan University
,
Yu Zhang
Meituan
,
Hailiang Jin
Meituan Inc.
,
Shiyu Guo
Meituan
,
Juxing Yuan
Meituan Inc.
,
Yangfan Zhou
Fudan University
16:30
10m
Talk
Securing Millions of Decentralized Identities in Alipay Super App with End-to-End Formal Verification
ASE Industry Showcase
Ziyu Mao
Zhejiang University
,
Xiaolin Ma
Zhejiang University
,
Lin Huang
Ant Group
,
Huan Yang
Ant Group
,
Wu Zhang
Ant Group
,
Weichao Sun
Ant Group
,
Yongtao Wang
Ant Group
,
Jingling Xue
University of New South Wales
,
Jingyi Wang
Zhejiang University
16:40
10m
Talk
LLM-based Dynamic Differential Testing for Database Connectors with Reinforcement Learning-Guided Prompt Selection
ASE NIER Track
Ce Lyu
East China Normal University
,
Yanhao Wang
East China Normal University
,
Jie Liang
Beihang University
,
Minghao Zhao
East China Normal University
16:50
10m
Talk
LLM-assisted Industrial-Scale Differential Testing of Package Incompatibilities in Linux Distributions
ASE Industry Showcase
Yuhao Yang
Central South University
,
Chijin Zhou
East China Normal University
,
Runzhe Wang
Alibaba Group
,
Weibo Zhang
Central South University
,
Yuheng Shen
Tsinghua University
,
Xiaohai Shi
Alibaba Group
,
Tao Ma
Alibaba Group
,
Chang Gao
Alibaba Group
,
Zhe Wang
Institute of Computing Technology at Chinese Academy of Sciences; Zhongguancun Laboratory
,
Ying Fu
Tsinghua University
,
Heyuan Shi
Central South University
Thu 20 Nov
Displayed time zone:
Seoul
change
08:30 - 10:00
AISM Workshop First Session
AISM
at
Grand Hall 2
08:30
45m
Keynote
The Agentic Software Engineering Revolution
AISM
Ahmed E. Hassan
Queen’s University
09:15
15m
Long-paper
Leveraging LLM for software modernization: COBOL Functionality Extraction Case study
AISM
Asha Rajbhoj
TCS Research
,
Akanksha Somase
TCS Research
,
Tanay Sant
,
Ajim Pathan
TCS Research
,
Purvesh Sanjeev Doud
TCS Research
,
Vinay Kulkarni
Tata Consultancy Services Research
09:30
10m
Short-paper
Multilingual Code Explanation for Mainframe Languages
AISM
Kaoru Shinkawa
IBM Research - Tokyo
,
Ai Ishida
IBM Research - Tokyo
,
Yasuharu KATSUNO
,
Fumiko Satoh
IBM Research - Tokyo
09:40
10m
Short-paper
Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes
AISM
Ora Fandina
,
Gal Amram
Tel Aviv University
,
Eitan Farchi
IBM Haifa Research Lab
,
Shmulik Froimovich
IBM Research
,
Raviv Gal
,
Wesam Ibraheem
,
Rami Katan
IBM Research Haifa
,
Alice Podolsky
,
Orna Raz
09:50
10m
Other
Q&A on Session
AISM
10:30 - 12:30
AISM Workshop Second Session
AISM
at
Grand Hall 2
10:30
35m
Keynote
Benchmarking GenAI for Software Engineering: Challenges and Insights
AISM
Marco Vieira
University of North Carolina at Charlotte
11:05
15m
Long-paper
Uncovering Code Insights: Leveraging GitHub Artifacts for Deeper Code Understanding
AISM
Ziv Nevo
IBM Research
,
Orna Raz
,
Karen Yorav
IBM Research
11:20
10m
Short-paper
Grammar- and Coverage-based Augmentation of Programs for Training LLMs
AISM
Shin Saito
,
Takaaki Tateishi
IBM Research - Tokyo
,
Yasuharu KATSUNO
11:30
10m
Short-paper
Microservices Identification Using LLM
AISM
Jay Gandhi
TCS Research, Tata Consultancy Services
,
Raveendra Kumar Medicherla
TCS Research, Tata Consultancy Services
,
Manasi Patwardhan
TCS Research
,
Dipesh Sharma
TCS Research, Tata Consultancy Services
,
Ravindra Naik
11:40
10m
Short-paper
LLM Agents for Automated Dependency Upgrades
AISM
Vali Tawosi
J.P. Morgan AI Research
,
Salwa Alamir
J.P. Morgan AI Research
,
Xiaomo Liu
J.P. Morgan AI Research
,
Manuela Veloso
11:50
10m
Other
Q&A for Session 2
AISM
12:00
30m
Panel
AI for Software Modernization
AISM
Sun 16 Nov
Displayed time zone:
Seoul
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Grand Hall 2
ASYDE
AI & Developer Support
ASYDE
Verification, Testing, and Model-Driven Engineering
ASYDE
ASYDE
Mon 17 Nov
Displayed time zone:
Seoul
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Grand Hall 2
ASE Research Papers + ASE Journal-First Track
Bug Understanding 1
ASE Research Papers + ASE Journal-First Track
Translation
ASE Industry Showcase + ASE NIER Track
Bug Understanding 2
Tue 18 Nov
Displayed time zone:
Seoul
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Grand Hall 2
ASE Research Papers + ASE Journal-First Track
Fault Localization
ASE Research Papers + ASE Journal-First Track
Fuzzing 1
ASE Industry Showcase + ASE NIER Track
Security 3
Wed 19 Nov
Displayed time zone:
Seoul
change
Room
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
Grand Hall 2
ASE Research Papers + ASE Journal-First Track
Web & Mobile Systems 1
ASE Journal-First Track + ASE Research Papers
Fuzzing 2
ASE Industry Showcase + ASE NIER Track
Testing & Analysis 4
Thu 20 Nov
Displayed time zone:
Seoul
change
Room
8:00
30
9:00
30
10:00
30
11:00
30
12:00
30
Grand Hall 2
AISM
AISM Workshop First Session
AISM
AISM Workshop Second Session
Sun 16 Nov
Displayed time zone:
Seoul
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Grand Hall 2
ASYDE
LLM-Assisted Tool for Joint Generation of Formulas and Functions in Rul ...
09:05 - 09:20
ASYDE
On Effectiveness of Formal Model Repair by Large Language Models
09:20 - 09:40
ASYDE
Pre-Filtering Code Suggestions using Developer Behavioral Telemetry to ...
09:40 - 10:00
ASYDE
BMuzz: Combining Bounded Model Checking and Fuzzing to Enhance Code Cov ...
10:30 - 10:50
ASYDE
Improving Automated Program Verification for Java Programs with Fuzzing
10:50 - 11:10
ASYDE
ForeSPECT: A Model-Driven Framework for Validation and Traceability in ...
11:10 - 11:30
ASYDE
Regression Testing Skill Transfer to Industry: A Preliminary Study in H ...
11:30 - 11:50
ASYDE
VeriODD: From YAML to SMT-LIB – Automating Verification of Operational ...
11:50 - 12:05
ASYDE
MicroViSim: Simulation and Visualization of Kubernetes-Based Microservi ...
12:05 - 12:20
Mon 17 Nov
Displayed time zone:
Seoul
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Grand Hall 2
ASE Research Papers
The Fault in our Stats
11:00 - 11:10
ASE Research Papers
Agents in the Sandbox: End-to-End Crash Bug Reproduction for Minecraft
11:10 - 11:20
ASE Research Papers
Finding Bugs in MLIR Compiler Infrastructure via Lowering Space Exploration
11:20 - 11:30
ASE Journal-First Track
Why Do Machine Learning Notebooks Crash? An Empirical Study on Public P ...
11:30 - 11:40
ASE Research Papers
When AllClose Fails: Round-Off Error Estimation for Deep Learning Programs
11:40 - 11:50
ASE Research Papers
LLM-Powered Multi-Agent Collaboration for Intelligent Industrial On-Cal ...
11:50 - 12:00
ASE Research Papers
SSR: Safeguarding Staking Rewards by Defining and Detecting Logical Def ...
12:00 - 12:10
ASE Research Papers
Finding Bugs in WebAssembly Interface Type Binding Generators
12:10 - 12:20
ASE Research Papers
LineBreaker: Finding Token-Inconsistency Bugs using Large Language Models
12:20 - 12:30
ASE Research Papers
Enhancing LLM to Decompile Optimized PTX to Readable CUDA for Tensor Pr ...
14:00 - 14:10
ASE Research Papers
Forcrat: Automatic I/O API Translation from C to Rust via Origin and Ca ...
14:10 - 14:20
ASE Research Papers
Polyglot: An Extensible Framework to Benchmark Code Translation with LLMs
14:20 - 14:30
ASE Research Papers
RFCScope: Detecting Logical Ambiguities in Internet Protocol Specifications
14:30 - 14:40
ASE Journal-First Track
Vision to Specification: Automating the Transition from Conceptual Feat ...
14:40 - 14:50
ASE Research Papers
RustAssure: Differential Symbolic Testing for LLM-Transpiled C-to-Rust Code
14:50 - 15:00
ASE Research Papers
SPEC2CODE: Mapping Software Specification to Function-Level Code Implem ...
15:00 - 15:10
ASE Research Papers
RustRepoTrans: Repository-level Context Code Translation Benchmark Targ ...
15:10 - 15:20
ASE Research Papers
DLBENCH: A Comprehensive Benchmark for SQL Translation with Large Langu ...
15:20 - 15:30
ASE Industry Showcase
A Characterization Study of Bugs in LLM Agent Workflow Orchestration Fr ...
16:00 - 16:10
ASE NIER Track
Debugging the Undebuggable: Why Multi-Fault Programs Break Debugging an ...
16:10 - 16:20
ASE Industry Showcase
ErrorPrism: Reconstructing Error Propagation Paths in Cloud Service Systems
16:20 - 16:30
ASE NIER Track
Fault Injection for Simulink-based CPS Models: Insights and Future Dire ...
16:30 - 16:40
ASE NIER Track
How Does ChatGPT Make Assumptions When Creating Erroneous Programs?
16:40 - 16:50
ASE NIER Track
Exploring Autonomous Agents: A Closer Look at Why They Fail When Comple ...
16:50 - 17:00
Tue 18 Nov
Displayed time zone:
Seoul
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Grand Hall 2
ASE Research Papers
FaultSeeker: LLM-Empowered Framework for Blockchain Transaction Fault L ...
11:00 - 11:10
ASE Journal-First Track
FlexFL: Flexible and Effective Fault Localization With Open-Source Larg ...
11:10 - 11:20
ASE Research Papers
LLM-Based Identification of Null Pointer Exception Patches
11:20 - 11:30
ASE Journal-First Track
SpectAcle: Fault Localisation of AI-Enabled CPS by Exploiting Sequences ...
11:30 - 11:40
ASE Research Papers
Sifting Truth from Coincidences: A Two-Stage Positive and Unlabeled Lea ...
11:40 - 11:50
ASE Research Papers
Let the Code Speak: Incorporating Program Dynamic State for Better Meth ...
11:50 - 12:00
ASE Research Papers
Issue Localization via LLM-Driven Iterative Code Graph Searching
12:00 - 12:10
ASE Research Papers
Hypergraph Neural Network-based Multi-Granular Root Cause Localization ...
12:10 - 12:20
ASE Research Papers
Explainable Fault Localization for Programming Assignments via LLM-Guid ...
12:20 - 12:30
ASE Research Papers
RSFuzz: A Robustness-Guided Swarm Fuzzing Framework Based on Behavioral ...
14:00 - 14:10
ASE Research Papers
DualFuzz: Detecting Vulnerability in Wi-Fi NICs through Dual-Directiona ...
14:10 - 14:20
ASE Research Papers
ORFuzz: Fuzzing the "Other Side" of LLM Safety – Testing Over-Refusal
14:20 - 14:30
ASE Research Papers
DNAFuzz: Descriptor-Aware Fuzzing for USB Drivers
14:30 - 14:40
ASE Research Papers
ARG: Testing Query Rewriters via Abstract Rule Guided Fuzzing
14:40 - 14:50
ASE Research Papers
Algernon: A Flag-Guided Hybrid Fuzzer for Unlocking Hidden Program Paths
14:50 - 15:00
ASE Research Papers
Interleaved Learning and Exploration: A Self-Adaptive Fuzz Testing Fram ...
15:00 - 15:10
ASE Journal-First Track
RCFuzz: Recommendation-based Collaborative Fuzzer
15:10 - 15:20
ASE Research Papers
WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing ...
15:20 - 15:30
ASE NIER Track
Measuring Software Resilience Using Socially Aware Truck Factor Estimation
16:00 - 16:10
ASE Industry Showcase
Should We Evaluate LLM Based Security Analysis Approaches on Open Sourc ...
16:10 - 16:20
ASE Industry Showcase
DALEQ - Explainable Equivalence for Java Bytecode
16:20 - 16:30
ASE NIER Track
A Secure Mocking Approach towards Software Supply Chain Security
16:30 - 16:40
ASE Industry Showcase
TRON: Fuzzing Linux Network Stack via Protocol-System Call Payload Synt ...
16:40 - 16:50
ASE Industry Showcase
Industry Practice of LLM-Assisted Protocol Fuzzing for Commercial Commu ...
16:50 - 17:00
Wed 19 Nov
Displayed time zone:
Seoul
change
Room
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
Grand Hall 2
ASE Journal-First Track
Resolving Conditional Implicit Calls to Improve Static and Dynamic Anal ...
11:00 - 11:10
ASE Research Papers
GlassWing: A Tailored Static Analysis Approach for Flutter Android Apps
11:10 - 11:20
ASE Research Papers
Characterizing and Repairing Color-Related Accessibility Issues in Andr ...
11:20 - 11:30
ASE Research Papers
Generating Failure-Based Oracles to Support Testing of Reported Bugs in ...
11:30 - 11:40
ASE Research Papers
On the (In)Security of Non-resettable Device Identifiers in Custom Andr ...
11:40 - 11:50
ASE Research Papers
Don't Mess with Bro's Cheese! An Empirical Study of Resource Conflict i ...
11:50 - 12:00
ASE Research Papers
Profile Coverage: Using Android Compilation Profiles to Evaluate Dynami ...
12:00 - 12:10
ASE Research Papers
NATE: A Network-Aware Testing Enhancer for Network-Related Fault Detect ...
12:10 - 12:20
ASE Research Papers
Automated Detection of Web Application Navigation Barriers for Screen R ...
12:20 - 12:30
ASE Research Papers
Terminator: enabling efficient fuzzing of closed-source GUI programs by ...
14:00 - 14:10
ASE Research Papers
Function Clustering-Based Fuzzing Termination: Toward Smarter Early Sto ...
14:10 - 14:20
ASE Research Papers
Risk Estimation in Differential Fuzzing via Extreme Value Theory
14:20 - 14:30
ASE Journal-First Track
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs
14:30 - 14:40
ASE Research Papers
BCFuzz: Bytecode-Driven Fuzzing for JavaScript Engines
14:40 - 14:50
ASE Research Papers
LSPFuzz: Hunting Bugs in Language Servers
14:50 - 15:00
ASE Research Papers
TEPHRA: Principled Discovery of Fuzzer Limitations
15:00 - 15:10
ASE Journal-First Track
Learning-Guided Fuzzing for Testing Stateful SDN Controllers
15:10 - 15:20
ASE Research Papers
Learning from the Past: Real-World Exploit Migration for Smart Contract ...
15:20 - 15:30
ASE Industry Showcase
Minuku: Detecting Diverse Display Issues in Mobile Apps with Small-scal ...
16:00 - 16:10
ASE Industry Showcase
HarmoBridge: Bridging ArkTS and C/C++ for Cross-Language Static Analysi ...
16:10 - 16:20
ASE Industry Showcase
From Redundancy to Efficiency: Exploiting Shared UI Interactions toward ...
16:20 - 16:30
ASE Industry Showcase
Securing Millions of Decentralized Identities in Alipay Super App with ...
16:30 - 16:40
ASE NIER Track
LLM-based Dynamic Differential Testing for Database Connectors with Rei ...
16:40 - 16:50
ASE Industry Showcase
LLM-assisted Industrial-Scale Differential Testing of Package Incompati ...
16:50 - 17:00
Thu 20 Nov
Displayed time zone:
Seoul
change
Room
8:00
15
30
45
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
Grand Hall 2
AISM
The Agentic Software Engineering Revolution
08:30 - 09:15
AISM
Leveraging LLM for software modernization: COBOL Functionality Extracti ...
09:15 - 09:30
AISM
Multilingual Code Explanation for Mainframe Languages
09:30 - 09:40
AISM
Vintage Code, Modern Judges: Meta-Validation in Low Data Regimes
09:40 - 09:50
AISM
Q&A on Session
09:50 - 10:00
AISM
Benchmarking GenAI for Software Engineering: Challenges and Insights
10:30 - 11:05
AISM
Uncovering Code Insights: Leveraging GitHub Artifacts for Deeper Code U ...
11:05 - 11:20
AISM
Grammar- and Coverage-based Augmentation of Programs for Training LLMs
11:20 - 11:30
AISM
Microservices Identification Using LLM
11:30 - 11:40
AISM
LLM Agents for Automated Dependency Upgrades
11:40 - 11:50
AISM
Q&A for Session 2
11:50 - 12:00
AISM
AI for Software Modernization
12:00 - 12:30
x
Tue 4 Nov 05:22