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 2026
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
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
ITMO University
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
Pre-print
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
at
Grand Hall 2
Chair(s):
Michael Pradel
CISPA Helmholtz Center for Information Security
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
Pre-print
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
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
at
Grand Hall 2
Chair(s):
Saikat Dutta
Cornell University
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
Pre-print
Media Attached
File Attached
14:40
10m
Talk
Vision to Specification: Automating the Transition from Conceptual Features to Functional Requirements
ASE Journal-First
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
at
Grand Hall 2
Chair(s):
Yasharth Bajpai
Microsoft
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
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
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
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
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
at
Grand Hall 2
Chair(s):
Rui Abreu
Faculty of Engineering of the University of Porto, Portugal
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
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
Deyun Lyu
National Institute of Informatics
,
Zhenya Zhang
Kyushu University
,
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
Link to publication
DOI
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
at
Grand Hall 2
Chair(s):
Yanjie Zhao
Huazhong University of Science and Technology
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
WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing Schedule
ASE Research Papers
Xiaogang Zhu
Adelaide University
,
Enze Dai
Swinburne University of Technology
,
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
Link to publication
15:20
10m
Talk
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs
ASE Journal-First
Andrea Arcuri
Kristiania University College and Oslo Metropolitan University
,
Man Zhang
Beihang University, China
,
Juan Pablo Galeotti
University of Buenos Aires
16:00 - 17:00
Security 3
ASE Industry Showcase
/
ASE NIER
at
Grand Hall 2
Chair(s):
Ming Wen
Huazhong University of Science and Technology
16:00
10m
Talk
Measuring Software Resilience Using Socially Aware Truck Factor Estimation
ASE NIER
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
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
at
Grand Hall 2
Chair(s):
Jacques Klein
University of Luxembourg
11:00
10m
Talk
Resolving Conditional Implicit Calls to Improve Static and Dynamic Analysis in Android Apps
ASE Journal-First
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
Huazhong University of Science and Technology
,
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 Research Papers
/
ASE Journal-First
at
Grand Hall 2
Chair(s):
Kevin Borgolte
Ruhr University Bochum
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
Liang Ding
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
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:40
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
DOI
Pre-print
14:50
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
Munich Computer Systems Research Laboratory (uCSRL), CODE Research Institute, University of the Bundeswehr Munich
15:00
10m
Talk
Learning-Guided Fuzzing for Testing Stateful SDN Controllers
ASE Journal-First
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:10
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
15:20
10m
Talk
RCFuzzer: Recommendation-based Collaborative Fuzzer
ASE Journal-First
Hyeonmin Mo
Hanyang University
,
Jongmun Yang
Hanyang University
,
Yunho Kim
Hanyang University
Link to publication
16:00 - 17:00
Testing & Analysis 4
ASE Industry Showcase
/
ASE NIER
at
Grand Hall 2
Chair(s):
Fabrizio Pastore
University of Luxembourg
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
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
Bug Understanding 1
ASE Research Papers + ASE Journal-First
Translation
ASE Industry Showcase + ASE NIER
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
Fault Localization
ASE Research Papers + ASE Journal-First
Fuzzing 1
ASE Industry Showcase + ASE NIER
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
Web & Mobile Systems 1
ASE Research Papers + ASE Journal-First
Fuzzing 2
ASE Industry Showcase + ASE NIER
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
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
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
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
Fault Injection for Simulink-based CPS Models: Insights and Future Dire ...
16:30 - 16:40
ASE NIER
How Does ChatGPT Make Assumptions When Creating Erroneous Programs?
16:40 - 16:50
ASE NIER
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
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
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 Research Papers
WingMuzz: Blackbox Testing of IoT Protocols via Two-dimensional Fuzzing ...
15:10 - 15:20
ASE Journal-First
Advanced White-Box Heuristics for Search-Based Fuzzing of REST APIs
15:20 - 15:30
ASE NIER
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
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
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 Research Papers
BCFuzz: Bytecode-Driven Fuzzing for JavaScript Engines
14:30 - 14:40
ASE Research Papers
LSPFuzz: Hunting Bugs in Language Servers
14:40 - 14:50
ASE Research Papers
TEPHRA: Principled Discovery of Fuzzer Limitations
14:50 - 15:00
ASE Journal-First
Learning-Guided Fuzzing for Testing Stateful SDN Controllers
15:00 - 15:10
ASE Research Papers
Learning from the Past: Real-World Exploit Migration for Smart Contract ...
15:10 - 15:20
ASE Journal-First
RCFuzzer: Recommendation-based Collaborative Fuzzer
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
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
Mon 2 Feb 04:04