AIware 2025
Wed 19 - Thu 20 November 2025
co-located with ASE 2025
VenueGrand Walkerhill Seoul
Room nameGrand Hall 2
Floor0
Room InformationNo extra information available
Program

This program is tentative and subject to change.

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 SupportASYDE 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 EngineeringASYDE 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
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
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
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
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
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
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
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
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
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
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 SessionAISM 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 SessionAISM 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
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

Mon 17 Nov

Displayed time zone: Seoul change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Hall 2

Tue 18 Nov

Displayed time zone: Seoul change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Hall 2

Wed 19 Nov

Displayed time zone: Seoul change

Room11:0015304512:0015304513:0015304514:0015304515:0015304516:00153045
Grand Hall 2